API tools faq
paste
Guest User

elinks.conf

a guest
Apr 7th, 2019
45
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 25.16 KB | None | 0 0
raw download clone embed print report
  1. ## ELinks 0.13.GIT configuration file
  2.  
  3. ## This is ELinks configuration file. You can edit it manually,
  4. ## if you wish so; this file is edited by ELinks when you save
  5. ## options through UI, however only option values will be altered
  6. ## and missing options will be added at the end of file; if option
  7. ## is not written in this file, but in some file included from it,
  8. ## it is NOT counted as missing. Note that all your formatting,
  9. ## own comments and so on will be kept as-is.
  10. ##
  11. ## Obviously, if you don't like what ELinks is going to do with
  12. ## this file, you can change it by altering the config.saving_style
  13. ## option. Come on, aren't we friendly guys after all?
  14.  
  15.  
  16.  
  17. ##############################
  18. # Automatically saved options
  19. #
  20.  
  21. ## config
  22. # Configuration handling options.
  23.  
  24. ## config.saving_style_w [0|1]
  25. # This is internal option used when displaying a warning about obsolete
  26. # config.saving_style. You shouldn't touch it.
  27. set config.saving_style_w = 1
  28.  
  29.  
  30. ## terminal
  31. # Terminal options.
  32.  
  33. ## terminal.xterm-256color
  34. # Options specific to this terminal type (according to $TERM value).
  35.  
  36. ## terminal.xterm-256color.italic [0|1]
  37. set terminal.xterm-256color.italic = 1
  38. ## terminal.xterm-256color.colors <num>
  39. set terminal.xterm-256color.colors = 3
  40.  
  41.  
  42. ## ui
  43. # User interface options.
  44.  
  45. ## ui.language <language>
  46. # Language of user interface. 'System' means that the language will be
  47. # extracted from the environment dynamically.
  48. set ui.language = "System"
  49.  
  50.  
  51.  
  52.  
  53.  
  54. ##############################
  55. # Automatically saved options
  56. #
  57.  
  58. ## document
  59. # Document options.
  60.  
  61. ## document.colors
  62. # Default document color settings.
  63.  
  64. ## document.colors.background <color|#rrggbb>
  65. # Default background color.
  66. set document.colors.background = "#20212a"
  67.  
  68.  
  69.  
  70.  
  71.  
  72.  
  73. ##############################
  74. # Automatically saved options
  75. #
  76.  
  77. ## document
  78. # Document options.
  79.  
  80. ## document.colors
  81. # Default document color settings.
  82.  
  83. ## document.colors.text <color|#rrggbb>
  84. # Default text color.
  85. set document.colors.text = "#f8f8f2"
  86.  
  87. ## document.colors.link <color|#rrggbb>
  88. # Default link color.
  89. set document.colors.link = "#ff5555"
  90.  
  91. ## document.colors.vlink <color|#rrggbb>
  92. # Default visited link color.
  93. set document.colors.vlink = "#9a4046"
  94.  
  95. ## document.colors.image <color|#rrggbb>
  96. # Default image link color.
  97. set document.colors.image = "#9079b3"
  98.  
  99. ## document.colors.bookmark <color|#rrggbb>
  100. # Default bookmarked link color.
  101. set document.colors.bookmark = "#ff5555"
  102.  
  103.  
  104.  
  105. ## ui
  106. # User interface options.
  107.  
  108. ## ui.clock
  109. # Digital clock in the status bar.
  110.  
  111. ## ui.clock.enable [0|1]
  112. # Whether to display a digital clock in the status bar.
  113. set ui.clock.enable = 1
  114.  
  115.  
  116. ## ui.colors
  117. # Default user interface color settings.
  118.  
  119. ## ui.colors.color
  120. # Color settings for color terminal.
  121.  
  122. ## ui.colors.color.title
  123. # Title bar colors.
  124.  
  125. ## ui.colors.color.title.title-bar
  126. # Generic title bar colors.
  127.  
  128. ## ui.colors.color.title.title-bar.background <color|#rrggbb>
  129. # Default background color.
  130. set ui.colors.color.title.title-bar.background = "#9079b3"
  131.  
  132.  
  133. ## ui.colors.color.title.title-text
  134. # Title bar text colors.
  135.  
  136. ## ui.colors.color.title.title-text.background <color|#rrggbb>
  137. # Default background color.
  138. set ui.colors.color.title.title-text.background = "#9079b3"
  139.  
  140.  
  141.  
  142. ## ui.colors.color.status
  143. # Status bar colors.
  144.  
  145. ## ui.colors.color.status.showip-text
  146. # Status bar show ip text colors.
  147.  
  148. ## ui.colors.color.status.showip-text.background <color|#rrggbb>
  149. # Default background color.
  150. set ui.colors.color.status.showip-text.background = "gray87"
  151.  
  152.  
  153. ## ui.colors.color.status.status-bar
  154. # Generic status bar colors.
  155.  
  156. ## ui.colors.color.status.status-bar.background <color|#rrggbb>
  157. # Default background color.
  158. set ui.colors.color.status.status-bar.background = "gray87"
  159.  
  160.  
  161. ## ui.colors.color.status.status-text
  162. # Status bar text colors.
  163.  
  164. ## ui.colors.color.status.status-text.background <color|#rrggbb>
  165. # Default background color.
  166. set ui.colors.color.status.status-text.background = "gray87"
  167.  
  168.  
  169.  
  170.  
  171.  
  172. ## ui.tabs
  173. # Window tabs settings.
  174.  
  175. ## ui.tabs.show_bar <num>
  176. # Show tabs bar on the screen:
  177. # 0 means never
  178. # 1 means only if two or more tabs are open
  179. # 2 means always
  180. set ui.tabs.show_bar = 1
  181.  
  182.  
  183. ## ui.show_title_bar [0|1]
  184. # Show title bar on the screen.
  185. set ui.show_title_bar = 1
  186.  
  187. ## ui.window_title [0|1]
  188. # Set the window title when running in a windowing environment in an
  189. # xterm-like terminal. This way the document's title is shown on the window
  190. # titlebar.
  191. set ui.window_title = 1
  192.  
  193.  
  194.  
  195.  
  196.  
  197. ##############################
  198. # Automatically saved options
  199. #
  200.  
  201. ## ui
  202. # User interface options.
  203.  
  204. ## ui.colors
  205. # Default user interface color settings.
  206.  
  207. ## ui.colors.color
  208. # Color settings for color terminal.
  209.  
  210. ## ui.colors.color.mainmenu
  211. # Main menu bar colors.
  212.  
  213. ## ui.colors.color.mainmenu.normal
  214. # Unselected main menu bar item colors.
  215.  
  216. ## ui.colors.color.mainmenu.normal.background <color|#rrggbb>
  217. # Default background color.
  218. set ui.colors.color.mainmenu.normal.background = "white"
  219.  
  220.  
  221. ## ui.colors.color.mainmenu.selected
  222. # Selected main menu bar item colors.
  223.  
  224. ## ui.colors.color.mainmenu.selected.background <color|#rrggbb>
  225. # Default background color.
  226. set ui.colors.color.mainmenu.selected.background = "green"
  227.  
  228.  
  229.  
  230. ## ui.colors.color.menu
  231. # Menu bar colors.
  232.  
  233. ## ui.colors.color.menu.normal
  234. # Unselected menu item colors.
  235.  
  236. ## ui.colors.color.menu.normal.background <color|#rrggbb>
  237. # Default background color.
  238. set ui.colors.color.menu.normal.background = "gray87"
  239.  
  240.  
  241.  
  242.  
  243.  
  244.  
  245.  
  246.  
  247.  
  248. ##############################
  249. # Automatically saved options
  250. #
  251.  
  252. ## ui
  253. # User interface options.
  254.  
  255. ## ui.colors
  256. # Default user interface color settings.
  257.  
  258. ## ui.colors.color
  259. # Color settings for color terminal.
  260.  
  261. ## ui.colors.color.menu
  262. # Menu bar colors.
  263.  
  264. ## ui.colors.color.menu.selected
  265. # Selected menu item colors.
  266.  
  267. ## ui.colors.color.menu.selected.background <color|#rrggbb>
  268. # Default background color.
  269. set ui.colors.color.menu.selected.background = "#ff5555"
  270.  
  271.  
  272.  
  273.  
  274.  
  275.  
  276.  
  277.  
  278.  
  279. ##############################
  280. # Automatically saved options
  281. #
  282.  
  283. ## ui
  284. # User interface options.
  285.  
  286. ## ui.colors
  287. # Default user interface color settings.
  288.  
  289. ## ui.colors.color
  290. # Color settings for color terminal.
  291.  
  292. ## ui.colors.color.mainmenu
  293. # Main menu bar colors.
  294.  
  295. ## ui.colors.color.mainmenu.hotkey
  296. # Main menu hotkey colors.
  297.  
  298. ## ui.colors.color.mainmenu.hotkey.normal
  299. # Main menu unselected hotkey colors.
  300.  
  301. ## ui.colors.color.mainmenu.hotkey.normal.text <color|#rrggbb>
  302. # Default text color.
  303. set ui.colors.color.mainmenu.hotkey.normal.text = "darkred"
  304.  
  305. ## ui.colors.color.mainmenu.hotkey.normal.background <color|#rrggbb>
  306. # Default background color.
  307. set ui.colors.color.mainmenu.hotkey.normal.background = "gray87"
  308.  
  309.  
  310. ## ui.colors.color.mainmenu.hotkey.selected
  311. # Main menu selected hotkey colors.
  312.  
  313. ## ui.colors.color.mainmenu.hotkey.selected.text <color|#rrggbb>
  314. # Default text color.
  315. set ui.colors.color.mainmenu.hotkey.selected.text = "black"
  316.  
  317. ## ui.colors.color.mainmenu.hotkey.selected.background <color|#rrggbb>
  318. # Default background color.
  319. set ui.colors.color.mainmenu.hotkey.selected.background = "#ff5555"
  320.  
  321.  
  322.  
  323.  
  324.  
  325.  
  326.  
  327.  
  328.  
  329.  
  330. ##############################
  331. # Automatically saved options
  332. #
  333.  
  334. ## ui
  335. # User interface options.
  336.  
  337. ## ui.colors
  338. # Default user interface color settings.
  339.  
  340. ## ui.colors.color
  341. # Color settings for color terminal.
  342.  
  343. ## ui.colors.color.menu
  344. # Menu bar colors.
  345.  
  346. ## ui.colors.color.menu.hotkey
  347. # Menu item hotkey colors.
  348.  
  349. ## ui.colors.color.menu.hotkey.normal
  350. # Menu item unselected hotkey colors.
  351.  
  352. ## ui.colors.color.menu.hotkey.normal.text <color|#rrggbb>
  353. # Default text color.
  354. set ui.colors.color.menu.hotkey.normal.text = "darkred"
  355.  
  356. ## ui.colors.color.menu.hotkey.normal.background <color|#rrggbb>
  357. # Default background color.
  358. set ui.colors.color.menu.hotkey.normal.background = "gray87"
  359.  
  360.  
  361. ## ui.colors.color.menu.hotkey.selected
  362. # Menu item selected hotkey colors.
  363.  
  364. ## ui.colors.color.menu.hotkey.selected.text <color|#rrggbb>
  365. # Default text color.
  366. set ui.colors.color.menu.hotkey.selected.text = "black"
  367.  
  368. ## ui.colors.color.menu.hotkey.selected.background <color|#rrggbb>
  369. # Default background color.
  370. set ui.colors.color.menu.hotkey.selected.background = "#ff5555"
  371.  
  372.  
  373.  
  374.  
  375.  
  376.  
  377.  
  378.  
  379.  
  380.  
  381. ##############################
  382. # Automatically saved options
  383. #
  384.  
  385. ## ui
  386. # User interface options.
  387.  
  388. ## ui.colors
  389. # Default user interface color settings.
  390.  
  391. ## ui.colors.color
  392. # Color settings for color terminal.
  393.  
  394. ## ui.colors.color.menu
  395. # Menu bar colors.
  396.  
  397. ## ui.colors.color.menu.frame
  398. # Menu frame colors.
  399.  
  400. ## ui.colors.color.menu.frame.text <color|#rrggbb>
  401. # Default text color.
  402. set ui.colors.color.menu.frame.text = "black"
  403.  
  404. ## ui.colors.color.menu.frame.background <color|#rrggbb>
  405. # Default background color.
  406. set ui.colors.color.menu.frame.background = "gray87"
  407.  
  408.  
  409.  
  410. ## ui.colors.color.dialog
  411. # Dialog colors.
  412.  
  413. ## ui.colors.color.dialog.generic
  414. # Generic dialog colors.
  415.  
  416. ## ui.colors.color.dialog.generic.background <color|#rrggbb>
  417. # Default background color.
  418. set ui.colors.color.dialog.generic.background = "gray87"
  419.  
  420.  
  421. ## ui.colors.color.dialog.frame
  422. # Dialog frame colors.
  423.  
  424. ## ui.colors.color.dialog.frame.background <color|#rrggbb>
  425. # Default background color.
  426. set ui.colors.color.dialog.frame.background = "gray87"
  427.  
  428.  
  429. ## ui.colors.color.dialog.title
  430. # Dialog title colors.
  431.  
  432. ## ui.colors.color.dialog.title.background <color|#rrggbb>
  433. # Default background color.
  434. set ui.colors.color.dialog.title.background = "gray87"
  435.  
  436.  
  437. ## ui.colors.color.dialog.text
  438. # Dialog text colors.
  439.  
  440. ## ui.colors.color.dialog.text.background <color|#rrggbb>
  441. # Default background color.
  442. set ui.colors.color.dialog.text.background = "gray87"
  443.  
  444.  
  445.  
  446.  
  447.  
  448.  
  449.  
  450.  
  451.  
  452. ##############################
  453. # Automatically saved options
  454. #
  455.  
  456. ## document
  457. # Document options.
  458.  
  459. ## document.colors
  460. # Default document color settings.
  461.  
  462. ## document.colors.use_document_colors <num>
  463. # Use colors specified in document:
  464. # 0 is use always the default settings
  465. # 1 is use document colors if available, except background
  466. # 2 is use document colors, including background. This can
  467. # mostly look very impressive, but some sites will appear
  468. # really ugly. Note, that obviously if the background is
  469. # not black, it will break the behaviour of transparency.
  470. set document.colors.use_document_colors = 0
  471.  
  472.  
  473.  
  474.  
  475.  
  476.  
  477. ##############################
  478. # Automatically saved options
  479. #
  480.  
  481. ## cookies
  482. # Cookies options.
  483.  
  484. ## cookies.accept_policy <num>
  485. # Cookies accepting policy:
  486. # 0 is accept no cookies
  487. # 1 is ask for confirmation before accepting cookie
  488. # 2 is accept all cookies
  489. set cookies.accept_policy = 0
  490.  
  491.  
  492. ## document
  493. # Document options.
  494.  
  495. ## document.css
  496. # Options concerning how to use CSS for styling documents.
  497.  
  498. ## document.css.enable [0|1]
  499. # Enable adding of CSS style info to documents.
  500. set document.css.enable = 1
  501.  
  502. ## document.css.ignore_display_none [0|1]
  503. # When enabled, elements are rendered, even when their display property has
  504. # the value "none". Because ELinks's CSS support is still very incomplete,
  505. # this setting can improve the way that some documents are rendered.
  506. set document.css.ignore_display_none = 1
  507.  
  508.  
  509. ## document.download
  510. # Options regarding files downloading and handling.
  511.  
  512. ## document.download.directory <str>
  513. # Default download directory.
  514. set document.download.directory = "./Descargas/"
  515.  
  516. ## document.download.notify_bell <num>
  517. # Audio notification when download is completed:
  518. # 0 is never
  519. # 1 is when background notification is active
  520. # 2 is always
  521. set document.download.notify_bell = 2
  522.  
  523.  
  524. ## document.html
  525. # Options concerning the display of HTML pages.
  526.  
  527. ## document.html.underline_links [0|1]
  528. # Underline links.
  529. set document.html.underline_links = 1
  530.  
  531.  
  532.  
  533. ## ui
  534. # User interface options.
  535.  
  536. ## ui.colors
  537. # Default user interface color settings.
  538.  
  539. ## ui.colors.color
  540. # Color settings for color terminal.
  541.  
  542. ## ui.colors.color.dialog
  543. # Dialog colors.
  544.  
  545. ## ui.colors.color.dialog.scrollbar
  546. # Scrollbar colors.
  547.  
  548. ## ui.colors.color.dialog.scrollbar.background <color|#rrggbb>
  549. # Default background color.
  550. set ui.colors.color.dialog.scrollbar.background = "blue"
  551.  
  552.  
  553. ## ui.colors.color.dialog.title
  554. # Dialog title colors.
  555.  
  556. ## ui.colors.color.dialog.title.text <color|#rrggbb>
  557. # Default text color.
  558. set ui.colors.color.dialog.title.text = "darkred"
  559.  
  560.  
  561. ## ui.colors.color.dialog.checkbox-selected
  562. # Dialog selected checkbox colors.
  563.  
  564. ## ui.colors.color.dialog.checkbox-selected.text <color|#rrggbb>
  565. # Default text color.
  566. set ui.colors.color.dialog.checkbox-selected.text = "black"
  567.  
  568. ## ui.colors.color.dialog.checkbox-selected.background <color|#rrggbb>
  569. # Default background color.
  570. set ui.colors.color.dialog.checkbox-selected.background = "#ff5555"
  571.  
  572.  
  573. ## ui.colors.color.dialog.checkbox-label
  574. # Dialog checkbox label colors.
  575.  
  576. ## ui.colors.color.dialog.checkbox-label.background <color|#rrggbb>
  577. # Default background color.
  578. set ui.colors.color.dialog.checkbox-label.background = "gray87"
  579.  
  580.  
  581. ## ui.colors.color.dialog.button
  582. # Dialog button colors.
  583.  
  584. ## ui.colors.color.dialog.button.text <color|#rrggbb>
  585. # Default text color.
  586. set ui.colors.color.dialog.button.text = "black"
  587.  
  588. ## ui.colors.color.dialog.button.background <color|#rrggbb>
  589. # Default background color.
  590. set ui.colors.color.dialog.button.background = "#9079b3"
  591.  
  592.  
  593. ## ui.colors.color.dialog.button-selected
  594. # Dialog selected button colors.
  595.  
  596. ## ui.colors.color.dialog.button-selected.text <color|#rrggbb>
  597. # Default text color.
  598. set ui.colors.color.dialog.button-selected.text = "black"
  599.  
  600. ## ui.colors.color.dialog.button-selected.background <color|#rrggbb>
  601. # Default background color.
  602. set ui.colors.color.dialog.button-selected.background = "#ff5555"
  603.  
  604.  
  605. ## ui.colors.color.dialog.button-shortcut
  606. # Dialog button colors.
  607.  
  608. ## ui.colors.color.dialog.button-shortcut.text <color|#rrggbb>
  609. # Default text color.
  610. set ui.colors.color.dialog.button-shortcut.text = "white"
  611.  
  612. ## ui.colors.color.dialog.button-shortcut.background <color|#rrggbb>
  613. # Default background color.
  614. set ui.colors.color.dialog.button-shortcut.background = "#9079b3"
  615.  
  616.  
  617. ## ui.colors.color.dialog.button-shortcut-selected
  618. # Dialog selected button colors.
  619.  
  620. ## ui.colors.color.dialog.button-shortcut-selected.text <color|#rrggbb>
  621. # Default text color.
  622. set ui.colors.color.dialog.button-shortcut-selected.text = "black"
  623.  
  624. ## ui.colors.color.dialog.button-shortcut-selected.background <color|#rrggbb>
  625. # Default background color.
  626. set ui.colors.color.dialog.button-shortcut-selected.background = "#ff5555"
  627.  
  628.  
  629. ## ui.colors.color.dialog.field
  630. # Dialog text field colors.
  631.  
  632. ## ui.colors.color.dialog.field.text <color|#rrggbb>
  633. # Default text color.
  634. set ui.colors.color.dialog.field.text = "black"
  635.  
  636. ## ui.colors.color.dialog.field.background <color|#rrggbb>
  637. # Default background color.
  638. set ui.colors.color.dialog.field.background = "#f1fa8c"
  639.  
  640.  
  641. ## ui.colors.color.dialog.field-text
  642. # Dialog field text colors.
  643.  
  644. ## ui.colors.color.dialog.field-text.text <color|#rrggbb>
  645. # Default text color.
  646. set ui.colors.color.dialog.field-text.text = "black"
  647.  
  648. ## ui.colors.color.dialog.field-text.background <color|#rrggbb>
  649. # Default background color.
  650. set ui.colors.color.dialog.field-text.background = "#9079b3"
  651.  
  652.  
  653. ## ui.colors.color.dialog.shadow
  654. # Dialog shadow colors (see ui.shadows option).
  655.  
  656. ## ui.colors.color.dialog.shadow.background <color|#rrggbb>
  657. # Default background color.
  658. set ui.colors.color.dialog.shadow.background = "black"
  659.  
  660.  
  661.  
  662.  
  663.  
  664. ## ui.show_status_bar [0|1]
  665. # Show status bar on the screen.
  666. set ui.show_status_bar = 1
  667.  
  668.  
  669.  
  670.  
  671.  
  672. ##############################
  673. # Automatically saved options
  674. #
  675.  
  676. ## ui
  677. # User interface options.
  678.  
  679. ## ui.colors
  680. # Default user interface color settings.
  681.  
  682. ## ui.colors.color
  683. # Color settings for color terminal.
  684.  
  685. ## ui.colors.color.tabs
  686. # Tabs bar colors.
  687.  
  688. ## ui.colors.color.tabs.unvisited
  689. # Tab colors for tabs that have not been selected since they completed
  690. # loading.
  691.  
  692. ## ui.colors.color.tabs.unvisited.text <color|#rrggbb>
  693. # Default text color.
  694. set ui.colors.color.tabs.unvisited.text = "darkred"
  695.  
  696. ## ui.colors.color.tabs.unvisited.background <color|#rrggbb>
  697. # Default background color.
  698. set ui.colors.color.tabs.unvisited.background = "gray87"
  699.  
  700.  
  701. ## ui.colors.color.tabs.normal
  702. # Unselected tab colors.
  703.  
  704. ## ui.colors.color.tabs.normal.background <color|#rrggbb>
  705. # Default background color.
  706. set ui.colors.color.tabs.normal.background = "gray87"
  707.  
  708.  
  709. ## ui.colors.color.tabs.selected
  710. # Selected tab colors.
  711.  
  712. ## ui.colors.color.tabs.selected.text <color|#rrggbb>
  713. # Default text color.
  714. set ui.colors.color.tabs.selected.text = "black"
  715.  
  716. ## ui.colors.color.tabs.selected.background <color|#rrggbb>
  717. # Default background color.
  718. set ui.colors.color.tabs.selected.background = "#ff5555"
  719.  
  720.  
  721. ## ui.colors.color.tabs.separator
  722. # Tab separator colors.
  723.  
  724. ## ui.colors.color.tabs.separator.text <color|#rrggbb>
  725. # Default text color.
  726. set ui.colors.color.tabs.separator.text = "gray87"
  727.  
  728. ## ui.colors.color.tabs.separator.background <color|#rrggbb>
  729. # Default background color.
  730. set ui.colors.color.tabs.separator.background = "gray87"
  731.  
  732.  
  733.  
  734.  
  735.  
  736. ## ui.tabs
  737. # Window tabs settings.
  738.  
  739. ## ui.tabs.top [0|1]
  740. # Whether display tab bar at top like other browsers do.
  741. set ui.tabs.top = 1
  742.  
  743. ## ui.tabs.wraparound [0|1]
  744. # When moving right from the last tab, jump to the first one, and vice
  745. # versa.
  746. set ui.tabs.wraparound = 1
  747.  
  748. ## ui.tabs.confirm_close [0|1]
  749. # When closing a tab show confirmation dialog.
  750. set ui.tabs.confirm_close = 0
  751.  
  752.  
  753.  
  754.  
  755.  
  756.  
  757. ##################################
  758. # Automatically saved keybindings
  759. #
  760.  
  761. bind "main" "Ctrl-T" = "open-new-tab"
  762. bind "main" "t" = "move-document-start"
  763. bind "main" "b" = "move-document-end"
  764. bind "main" "u" = "move-page-up"
  765. bind "main" "U" = "history-move-forward"
  766.  
  767.  
  768.  
  769. ##################################
  770. # Automatically saved keybindings
  771. #
  772.  
  773. bind "main" "Ctrl-W" = "tab-close"
  774.  
  775.  
  776.  
  777. ##############################
  778. # Automatically saved options
  779. #
  780.  
  781. ## document
  782. # Document options.
  783.  
  784. ## document.browse
  785. # Document browsing options (mainly interactivity).
  786.  
  787. ## document.browse.images
  788. # Options for handling of images.
  789.  
  790. ## document.browse.images.display_style <num>
  791. # Display style for image tags when displayed:
  792. # 0 means always display IMG
  793. # 1 means always display filename
  794. # 2 means display alt/title attribute if possible,
  795. # IMG if not
  796. # 3 means display alt/title attribute if possible,
  797. # filename if not
  798. set document.browse.images.display_style = 3
  799.  
  800.  
  801.  
  802. ## document.colors
  803. # Default document color settings.
  804.  
  805. ## document.colors.increase_contrast [0|1]
  806. # Increase the contrast between the foreground and background colors to
  807. # ensure readability. For example it disallows dark colors on a black
  808. # background. Note, this is different from ensuring the contrast with the
  809. # ensure_contrast option.
  810. set document.colors.increase_contrast = 1
  811.  
  812. ## document.colors.ensure_contrast [0|1]
  813. # Makes sure that the back- and foreground colors are never equal.
  814. set document.colors.ensure_contrast = 1
  815.  
  816.  
  817.  
  818.  
  819.  
  820.  
  821. ##############################
  822. # Automatically saved options
  823. #
  824.  
  825. ## document
  826. # Document options.
  827.  
  828. ## document.browse
  829. # Document browsing options (mainly interactivity).
  830.  
  831. ## document.browse.images
  832. # Options for handling of images.
  833.  
  834. ## document.browse.images.show_as_links [0|1]
  835. # Display links to images without an alt attribute. If this option is
  836. # off, these images are completely invisible.
  837. set document.browse.images.show_as_links = 1
  838.  
  839. ## document.browse.images.show_any_as_links [0|1]
  840. # Display links to any images in the document, regardless of them having
  841. # an alt attribute or not. If this option is off, the alt attribute
  842. # contents is shown, but as normal text, not selectable as a link.
  843. set document.browse.images.show_any_as_links = 1
  844.  
  845.  
  846.  
  847.  
  848.  
  849.  
  850.  
  851. ##############################
  852. # Automatically saved options
  853. #
  854.  
  855. ## document
  856. # Document options.
  857.  
  858. ## document.browse
  859. # Document browsing options (mainly interactivity).
  860.  
  861. ## document.browse.margin_width <num>
  862. # Horizontal text margin.
  863. set document.browse.margin_width = 5
  864.  
  865.  
  866.  
  867.  
  868.  
  869.  
  870. ##############################
  871. # Automatically saved options
  872. #
  873.  
  874. ## ui
  875. # User interface options.
  876.  
  877. ## ui.colors
  878. # Default user interface color settings.
  879.  
  880. ## ui.colors.color
  881. # Color settings for color terminal.
  882.  
  883. ## ui.colors.color.dialog
  884. # Dialog colors.
  885.  
  886. ## ui.colors.color.dialog.checkbox
  887. # Dialog checkbox colors.
  888.  
  889. ## ui.colors.color.dialog.checkbox.text <color|#rrggbb>
  890. # Default text color.
  891. set ui.colors.color.dialog.checkbox.text = "black"
  892.  
  893. ## ui.colors.color.dialog.checkbox.background <color|#rrggbb>
  894. # Default background color.
  895. set ui.colors.color.dialog.checkbox.background = "#ffff87"
  896.  
  897.  
  898.  
  899.  
  900.  
  901.  
  902.  
  903.  
  904.  
  905. ##############################
  906. # Automatically saved options
  907. #
  908.  
  909. ## ui
  910. # User interface options.
  911.  
  912. ## ui.colors
  913. # Default user interface color settings.
  914.  
  915. ## ui.colors.color
  916. # Color settings for color terminal.
  917.  
  918. ## ui.colors.color.dialog
  919. # Dialog colors.
  920.  
  921. ## ui.colors.color.dialog.checkbox-label
  922. # Dialog checkbox label colors.
  923.  
  924. ## ui.colors.color.dialog.checkbox-label.text <color|#rrggbb>
  925. # Default text color.
  926. set ui.colors.color.dialog.checkbox-label.text = "black"
  927.  
  928.  
  929.  
  930.  
  931.  
  932.  
  933.  
  934.  
  935.  
  936. ##############################
  937. # Automatically saved options
  938. #
  939.  
  940. ## document
  941. # Document options.
  942.  
  943. ## document.history
  944. # History options.
  945.  
  946. ## document.history.global
  947. # Global history options.
  948.  
  949. ## document.history.global.enable [0|1]
  950. # Enable global history ("history of all pages visited").
  951. set document.history.global.enable = 1
  952.  
  953. ## document.history.global.max_items <num>
  954. # Maximum number of entries in the global history.
  955. set document.history.global.max_items = 1k
  956.  
  957. ## document.history.global.display_type <num>
  958. # What to display in global history dialog:
  959. # 0 is URLs
  960. # 1 is page titles
  961. set document.history.global.display_type = 1
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!