1
0
Fork 0
tinmop/etc/shared-gui.conf

251 lines
5.5 KiB
Plaintext
Raw Normal View History

2023-02-27 19:26:22 +01:00
# this is the main configuration file for tinmop's GUI, feel free to
# customize it according to your taste , and do not forget to share!
# :)
2023-07-31 20:09:17 +02:00
# scaling icons: 1 (or 0) means no scaling. A negative integer number
# will shrink the icons and a positive number will expand the size.
# E.g: a value of 2 will render the size twice larger. -2 will shrink
# the icons in half
icons.scaling = 1
2023-07-31 20:09:17 +02:00
2023-02-27 19:26:22 +01:00
# gemini browser
gemini.image.inline.relative.scaling = 1/3
2023-07-31 20:09:17 +02:00
gemini.favicon = "🌍"
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.main-window.select.background = #f2d8f4
2023-07-31 20:09:17 +02:00
gemini.main-window.select.foreground = #5b4636
2023-07-31 20:09:17 +02:00
gemini.main-window.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.main-window.background = #f4ecd8
2023-02-27 19:26:22 +01:00
# the font name
2023-07-31 20:09:17 +02:00
gemini.main-window.text.font = "Sans"
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
# positive number units in point, negative units in pixel
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.main-window.text.size = 11
2023-02-27 19:26:22 +01:00
# normal or bold
2023-07-31 20:09:17 +02:00
gemini.main-window.text.weight = normal
2023-02-27 19:26:22 +01:00
# roman or italic
2023-07-31 20:09:17 +02:00
gemini.main-window.text.slant = roman
2023-02-27 19:26:22 +01:00
# boolean value
2023-07-31 20:09:17 +02:00
gemini.main-window.text.underline = no
2023-02-27 19:26:22 +01:00
# horizontal padding: unit of measure is the width of the '0' char,
# using the font specified in 'gemini.main-window.text.font', above.
2023-07-31 20:09:17 +02:00
gemini.main-window.text.padding = 5
2023-02-27 19:26:22 +01:00
# links
2023-07-31 20:09:17 +02:00
gemini.link.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.font = "Sans"
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.size = 12
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.weight = bold
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.slant = roman
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.underline = yes
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.scheme.gemini.prefix = "→♊ "
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.scheme.other.prefix = "→ "
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.link.scheme.http.prefix = "→🕸 "
2023-02-27 19:26:22 +01:00
# quotation
2023-07-31 20:09:17 +02:00
gemini.quote.prefix = "🞂 "
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.font = Serif
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.size = 12
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.weight = normal
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.slant = italic
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.underline = no
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.quote.justification = left
2023-02-27 19:26:22 +01:00
# unordered list
2023-07-31 20:09:17 +02:00
gemini.bullet.prefix = "• "
2023-02-27 19:26:22 +01:00
# header level 1
2023-07-31 20:09:17 +02:00
gemini.h1.prefix = ""
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.font = "Sans"
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.size = 20
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.weight = bold
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.slant = roman
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.underline = no
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h1.justification = center
2023-02-27 19:26:22 +01:00
# header level 2
2023-07-31 20:09:17 +02:00
gemini.h2.prefix = ""
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.font = "Sans"
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.size = 15
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.weight = bold
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.slant = roman
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.underline = no
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h2.justification = left
2023-02-27 19:26:22 +01:00
# header level 3
2023-07-31 20:09:17 +02:00
gemini.h3.prefix = ""
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.font = Sans
2023-02-27 19:26:22 +01:00
gemini.h3.size = 12
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.weight = normal
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.slant = roman
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.underline = no
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.h3.justification = left
2023-02-27 19:26:22 +01:00
# preformatted text
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.foreground = #5b4636
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.background = #f4ecd8
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.font = Monospace
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.size = 12
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.weight = bold
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.slant = roman
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted-text.underline = no
2023-02-27 19:26:22 +01:00
2023-07-31 20:09:17 +02:00
gemini.preformatted.justification = left
2023-03-18 20:27:24 +01:00
# Table of contents (TOC)
# width in chars
2023-07-31 20:09:17 +02:00
toc.show = yes
2023-07-31 20:09:17 +02:00
toc.maximum.width = 40
2023-07-31 20:09:17 +02:00
toc.minimum.width = 20
2023-03-18 20:27:24 +01:00
2023-07-31 20:09:17 +02:00
toc.font = Monospace
2023-03-18 20:27:24 +01:00
2023-07-31 20:09:17 +02:00
toc.size = 12
2023-03-18 20:27:24 +01:00
2023-07-31 20:09:17 +02:00
toc.weight = normal
2023-03-18 20:27:24 +01:00
2023-07-31 20:09:17 +02:00
toc.slant = roman
2023-03-18 20:27:24 +01:00
2023-07-31 20:09:17 +02:00
toc.underline = no
2023-07-31 20:09:17 +02:00
toc.autoresize = yes
# stream frame
2023-07-31 20:09:17 +02:00
stream-frame.show = yes
# Keybinding
# see: https://www.tcl.tk/man/tcl8.7/TkCmd/bind.html#M7
2023-07-31 20:09:17 +02:00
keybinding.quit = "Control-q"
2023-07-31 20:09:17 +02:00
keybinding.search = "Alt-f"
2023-07-31 20:09:17 +02:00
keybinding.stream = "Alt-s"
2023-07-31 20:09:17 +02:00
keybinding.certificates = "Alt-c"
2023-07-31 20:09:17 +02:00
keybinding.tour.manage = "Alt-t"
2023-07-31 20:09:17 +02:00
keybinding.tour.next = "Control-t"
2023-07-31 20:09:17 +02:00
keybinding.tour.shuffle = "Alt-S"
2023-07-31 20:09:17 +02:00
keybinding.gemlog = "Alt-g"
2023-07-31 20:09:17 +02:00
keybinding.about = "Alt-a"
2023-07-31 20:09:17 +02:00
keybinding.type-address = "Alt-d"
keybinding.view-source = "Alt-u"
2023-07-31 20:09:17 +02:00
keybinding.back = "Control-BackSpace"
2023-07-31 20:09:17 +02:00
keybinding.up = "U"
2023-05-14 17:16:00 +02:00
2023-07-31 20:09:17 +02:00
keybinding.bookmark.toggle = "Control-d"
2023-05-14 17:33:31 +02:00
2023-07-31 20:09:17 +02:00
keybinding.bookmark.show = "Alt-b"
keybinding.bookmark.export = "Alt-e"
keybinding.bookmark.import = "Alt-i"
2023-07-31 20:09:17 +02:00
keybinding.gemtext.scaling.increase = "Control-plus"
2023-07-31 20:09:17 +02:00
keybinding.gemtext.scaling.decrease = "Control-minus"
2023-07-31 20:09:17 +02:00
keybinding.gemtext.scaling.reset = "Control-0"
2023-07-31 20:09:17 +02:00
keybinding.gemtext.refresh = "Control-r"
# emphasize text
emphasize.wrapped.asterisk = yes