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
|
|
|
|
|
2023-08-01 17:17:41 +02:00
|
|
|
icons.scaling = 1
|
2023-07-31 20:09:17 +02:00
|
|
|
|
2023-02-27 19:26:22 +01:00
|
|
|
# gemini browser
|
|
|
|
|
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-05-16 19:32:02 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
gemini.main-window.select.foreground = #5b4636
|
2023-05-16 19:32:02 +02:00
|
|
|
|
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
|
|
|
|
2023-05-14 16:56:01 +02: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-05-14 16:56:01 +02:00
|
|
|
|
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
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
gemini.h3.size = 14
|
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
|
|
|
|
2023-05-15 20:43:03 +02: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-29 11:59:42 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
toc.maximum.width = 40
|
2023-03-19 13:00:28 +01:00
|
|
|
|
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-05-13 18:53:05 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
toc.autoresize = yes
|
2023-05-20 17:31:11 +02:00
|
|
|
|
2023-07-29 11:59:42 +02:00
|
|
|
# stream frame
|
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
stream-frame.show = yes
|
2023-07-29 11:59:42 +02:00
|
|
|
|
2023-05-13 18:53:05 +02:00
|
|
|
# Keybinding
|
|
|
|
|
2023-05-13 21:20:49 +02:00
|
|
|
# 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-05-13 18:53:05 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.search = "Alt-f"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.stream = "Alt-s"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.certificates = "Alt-c"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.tour.manage = "Alt-t"
|
2023-05-14 14:44:47 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.tour.next = "Control-t"
|
2023-05-14 14:44:47 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.tour.shuffle = "Alt-S"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.gemlog = "Alt-g"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.about = "Alt-a"
|
2023-05-13 21:20:49 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.type-address = "Alt-d"
|
2023-05-14 17:12:33 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.back = "Control-BackSpace"
|
2023-05-14 17:12:33 +02:00
|
|
|
|
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"
|
2023-05-17 18:24:11 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.gemtext.scaling.increase = "Control-plus"
|
2023-06-01 19:22:58 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.gemtext.scaling.decrease = "Control-minus"
|
2023-06-01 19:22:58 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.gemtext.scaling.reset = "Control-0"
|
2023-06-01 19:22:58 +02:00
|
|
|
|
2023-07-31 20:09:17 +02:00
|
|
|
keybinding.gemtext.refresh = "Control-r"
|
2023-06-10 18:44:05 +02:00
|
|
|
|
2023-05-17 18:24:11 +02:00
|
|
|
# emphasize text
|
|
|
|
|
2023-06-25 11:27:40 +02:00
|
|
|
emphasize.wrapped.asterisk = yes
|