##// END OF EJS Templates
Fix crash bug when no profiles were used.
Fix crash bug when no profiles were used.

File last commit:

r1176:d99cb87c
r1231:f9b3239f
Show More
options.conf
6 lines | 116 B | text/plain | TextLexer
ldufrechou
[/gui/wx] Initial options support + conf file....
r1168 completion=IPYTHON
background_color=BLACK
ldufrechou
[gui/wx] added options save/restore for history widget
r1176 filter_empty=True
filter_magic=True
filter_doc=True
filter_cmd=True