Interstellar


IBrowser Type

Namespace: Interstellar

Assembly: Interstellar.Core.dll

Base Type: obj

All Interfaces: IBrowser

Instance members

Instance member Description

this.Address

Full Usage: this.Address

Returns: Uri option
Modifiers: abstract

The address which the browser is currently displaying, if any

Returns: Uri option

this.AreDevToolsShowing

Full Usage: this.AreDevToolsShowing

Returns: bool
Modifiers: abstract

Whether or not this browser instance is showing any dev tools

Returns: bool

this.CanGoBack

Full Usage: this.CanGoBack

Returns: bool
Modifiers: abstract

Indicates whether or not there is a previous page to go to

Returns: bool

this.CanGoForward

Full Usage: this.CanGoForward

Returns: bool
Modifiers: abstract

Indicates whether or not there is a next page to go to

Returns: bool

this.CanShowDevTools

Full Usage: this.CanShowDevTools

Returns: bool
Modifiers: abstract

Whether or not this browser supports dynamic showing of dev tools. macOS WebKit browsers do not seem to support this.

Returns: bool

this.CloseDevTools()

Full Usage: this.CloseDevTools()

Modifiers: abstract

Closes the developer tools for this browser if they are open

this.Engine

Full Usage: this.Engine

Returns: BrowserEngine
Modifiers: abstract

Identifies the browser engine that this Browser is using

Returns: BrowserEngine

this.ExecuteJavascript(arg1)

Full Usage: this.ExecuteJavascript(arg1)

Parameters:
    arg0 : string

Modifiers: abstract

Executes some Javascript in the browser, returning immediately. NOTE: Prefer the printf-style ExecuteJavascriptf extension method whenever possible.

NOTE: Prefer ExecuteJavascriptf (notice the "f") for formatting untrusted inputs into the script, as using ExecuteJavascript directly could render your app vulnerable to script injection. For example, instead of doing this:

browser.ExecuteJavascript (sprintf "console.log('%s')" unsafeUserInput)
which is not safe, do this:
browser.ExecuteJavascriptf "console.log('%s')" unsafeUserInput
which is safe. Or, equivalently:
executeJavascriptf browser "console.log('%s')" unsafeUserInput

arg0 : string

this.GoBack()

Full Usage: this.GoBack()

Modifiers: abstract

Attempts to navigate to the previous page in the history stack

this.GoForward()

Full Usage: this.GoForward()

Modifiers: abstract

Attempts to navigate to the next page in the history stack

this.JavascriptMessageRecieved

Full Usage: this.JavascriptMessageRecieved

Returns: IEvent<string>
Modifiers: abstract

Event handler that is called whenever a message sent from Javascript is recieved. It is safe to reference this event from a non-main thread.

Returns: IEvent<string>

this.Load(arg1)

Full Usage: this.Load(arg1)

Parameters:
Modifiers: abstract

Starts loading a page from a given Uri, returning immediately.

arg0 : Uri

this.LoadAsync(arg1)

Full Usage: this.LoadAsync(arg1)

Parameters:
Returns: Async<Async<unit>>
Modifiers: abstract

Loads a page from a given Uri, returning nested asyncs to signal changes in state relating to loading status of the page: the first async calls back when the page finishes loading, and the second async calls back when the page is ready to start executing Javascript.

arg0 : Uri
Returns: Async<Async<unit>>

this.LoadString(html, ?uri)

Full Usage: this.LoadString(html, ?uri)

Parameters:
    html : string
    ?uri : Uri

Modifiers: abstract

Directly loads the string as content for display, returning immediately. If a uri is given, it is used as the origin page. Any Javascript AJAX calls will communicate using that URI.

html : string
?uri : Uri

this.LoadStringAsync(html, ?uri)

Full Usage: this.LoadStringAsync(html, ?uri)

Parameters:
    html : string
    ?uri : Uri

Returns: Async<Async<unit>>
Modifiers: abstract

Directly loads the string as content for display. If a uri is given, it is used as the origin page. Any Javascript AJAX calls will communicate using that URI. This method rturns nested asyncs to signal changes in state relating to loading status of the page: the first async calls back when the page finishes loading, and the second async calls back when the page is ready to start executing Javascript.

html : string
?uri : Uri
Returns: Async<Async<unit>>

this.PageLoaded

Full Usage: this.PageLoaded

Returns: IEvent<EventArgs>
Modifiers: abstract

Event handler that is called whenever a page load is completed. It is safe to reference this event from a non-main thread.

Returns: IEvent<EventArgs>

this.PageTitle

Full Usage: this.PageTitle

Returns: string
Modifiers: abstract

The title of the currently loaded page

Returns: string

this.PageTitleChanged

Full Usage: this.PageTitleChanged

Returns: IEvent<string>
Modifiers: abstract

Event handler that is called whenever PageTitle changes. It is safe to reference this event from a non-main thread.

Returns: IEvent<string>

this.Reload()

Full Usage: this.Reload()

Modifiers: abstract

Initiates a reload of the current page

this.ShowDevTools()

Full Usage: this.ShowDevTools()

Modifiers: abstract

Shows the developer tools for this browser if they are not already showing. Does nothing if this feature is not supported on the current environment (see CanShowDevTools)