Hbro.Types

Documentation

data Browser

Constructors

Browser

Fields

mOptions :: CliOptions

Commandline options

mConfiguration :: Configuration

Custom configuration provided by user

mGUI :: GUI

Graphical widgets

data CliOptions

Constructors

CliOptions

Fields

mURI :: Maybe String

URI to load at start-up

Instances

Eq CliOptions

Data CliOptions

Show CliOptions

Typeable CliOptions

data Configuration

Constructors

Configuration

Fields

mHomePage :: String

Startup page

mSocketDir :: String

Path to socket directory (/tmp for example)

mUIFile :: String

Path to XML file describing UI (used by GtkBuilder)

mKeyBindings :: KeyBindingsList

List of keybindings

mWebSettings :: IO WebSettings

Web settings

mAtStartUp :: Browser -> IO ()

Custom startup instructions

mError :: Maybe String

Error

data GUI

Constructors

GUI

Fields

mWindow :: Window

Main window

mInspectorWindow :: Window

WebInspector window

mScrollWindow :: ScrolledWindow

ScrolledWindow containing the webview

mWebView :: WebView

Browser's webview

mPromptLabel :: Label

Description of current prompt

mPromptEntry :: Entry

Prompt entry

mBuilder :: Builder

Builder object created from XML file

type KeyBindingsList = [(([Modifier], String), Browser -> IO ())]