4 _chorizo.ini_ - configuration file for *chorizo*(1)
7 _chorizo.ini_ is the system configuration file for the chorizo browser. The syntax
8 is the standard GTK ini format. An example is provided at
9 _/usr/share/doc/chorizo/chorizo.ini_, and user configuration should go in
10 _~/.config/chorizo/chorizo.ini_, or your equivalent as set by
11 $XDG_CONFIG_DIR. Settings must go under the relevant subsection.
18 Print the contents of the browser console to stdout.
22 Default: "no_third_party"++
23 Options: "all", "none", "no_third_party"++
24 Determines what cookies are accepted.
29 File that chorizo should save history to.
33 Default: "about:blank"++
34 Set the default URI for new tabs.
39 Determines whether or not images are enabled by default.
41 *javascript_can_access_clipboard*++
44 Determines whether or not JavaScript can access the clipboard. Necessary for
45 websites like gDrive, and "click to copy" buttons
47 *javascript_enabled*++
50 Determines whether or not JavaScript is enabled by default.
54 Default: "https://duckduckgo.com?q="++
55 What search engine to use when searching with "w/".
57 *spellcheck_enabled*++
60 Disable spell checking.
62 *spellcheck_language*++
65 Language to use for spell checking.
69 Default: the WebKit default++
70 Choose a custom user agent.
75 Determines whether or not WebGL is enabled.
81 The URI to fill the location bar with when entering the it from the homepage.
83 *font_family_default*++
85 Default: "sans-serif"++
88 *font_family_default_monospace*++
90 Default: "monospace"++
91 Default monospace font family
93 *font_family_default_sans_serif*++
95 Default: "sans-serif"++
96 Default sans-serif font family
98 *font_family_default_serif*++
101 Default serif font family
103 *font_size_default*++
108 *font_size_default_monospace*++
111 Default monospace font size.
116 Number of lines to scroll in the "scroll_lines_\*" keybindings.
121 Width of each tab in characters.
126 Default zoom level of each page.
129 All of these keybindings are bound to Control + key.
134 Toggle the download manager.
144 Go forwards in history.
154 Print the current page
159 Deselect everything and focus on the webpage.
164 Reload the current tab.
169 Scroll down one line.
179 Scroll down one page.
189 Search in-page backwareds.
194 Search in-page forwards.
199 Close the current tab.
204 Group of options to jump to a particular tab, numbered from the left. Set
205 these separately from each other.
210 Focus the previous tab.
215 Mute the current tab.
235 Toggle image loading.
255 Reset zoom to default.