Default settings¶
dmenu gui¶
See dmenu and the python wrapper here for more information.
- lines (config-dmenu-gui-lines)
- Default:
30
- Default:
- case_insensitive (config-dmenu-gui-case_insensitive)
- Default:
True
- Default:
- bottom (config-dmenu-gui-bottom)
- Default:
True
- Default:
- font (config-dmenu-gui-font)
- Default:
monospace-14
- Default:
- background (config-dmenu-gui-background)
- Default:
#000000
- Default:
- foreground (config-dmenu-gui-foreground)
- Default:
#55ff55
- Default:
- background_selected (config-dmenu-gui-background_selected)
- Default:
#005500
- Default:
- foreground_selected (config-dmenu-gui-foreground_selected)
- Default:
#f0f0f0
- Default:
- header-format (config-dmenu-gui-header-format)
- Default:
{doc[year]:<4.4}| {doc[title]:<80.80}|:| {doc[author]}
- Default:
This is not set per default, and it will default to the general header-format if not set.
- editor (config-dmenu-gui-editor)
- Default:
gedit
- Default:
Editor used for editing info files, you should probably use a
non-terminal based editor, i.e., gvim, gedit etc..