False Termonad Preferences center-on-parent dialog False 8 8 8 8 True vertical 10 False end gtk-ok True True True True True True 1 False False 0 True False True 0 6 6 True True True Font to use in the terminal. True False Sans 12 en-us 1 0 True False end Font: 0 0 True True Number of lines to keep in the output of the terminal. 1 2 True False end Scrollback length: 0 2 Confirm exit True True False Whether or not to pop-up a dialog asking if you are sure you want to exit when you close a tab or exit out of Termonad. center True 0 3 2 True False end Word char exceptions: 0 4 True True When double-clicking on text in the terminal with the mouse, Termonad will use these characters to determine what to highlight. Characters in this list will be counted as part of a word. This makes it easy to highlight things like URLs or file paths. 1 4 Show menu True True False Whether or not to show the menubar. (This is the bar at the top that has the "File", "Edit", "View", etc buttons.) center True 0 5 2 True False end Cursor blink mode: 0 7 True False end Show tabbar: 0 6 True False end Show scrollbar: 0 1 True False Whether or not to show a scrollbar on the terminal. "If Needed" only shows the scrollbar if the text on the terminal goes off the screen. 1 1 True False Whether or not to show the tab bar. "If Needed" only shows the tab bar when you have multiple tabs. 1 6 True False Set whether the cursor in the terminal should blink. "System" sets this to the system-level GTK setting. 1 7 True False 5 5 5 5 Warning: these settings will be used for current session only. To make them permanent, set them in ~/.config/termonad/termonad.hs fill True 30 0 8 2 True True 3 1 ok