Configuration: Interfaces

[Interfaces.wxgui]

enabled = on: Enable/disable the interface.

initial_geometry = 900x700: TODO

maximized = no: TODO

tree_sash_position = 3.00334448161: TODO

tree_auto_sash_gravity = yes: TODO

logs_sash_position = 6.0: TODO

logs_auto_sash_gravity = no: TODO

remember_geometry = yes: TODO

autohide_menubar = no: TODO

remember_session = yes: TODO

show_logs = yes: TODO

max_editor_tab_length = 20: TODO

text_process_tab = no: TODO

text_min_upd_time = 2: TODO

max_exceptions = 1: TODO

plugin_focus_color = system: TODO

contextual_shortcuts = off: TODO

[Interfaces.wxgui.History]

debug = no: TODO

color_done = #FF7E00: TODO

color_undone = none: TODO

color_saved = #0F52BA: TODO

[Interfaces.wxgui.TreeIcons]

symbol = +: TODO

color = #0F52BA: TODO

[Interfaces.wxgui.SessionFiles]

TODO

db0 = /path/to/database1.osl
db1 = /path/to/database2.osl