view .gitignore @ 16381:4bb1b82076e5

gui: provide defaults for all values read from the settings file * files-dockwidget.cc(notice_settings): provide default values for settings * file-editor-tab.cc(update_lexer,notice_settings): default font is Courier New instead of Courier * main-window.cc(notice_settings): provide defaults for terminal font and cursor * main-window.cc(construct): new default window geometry and widget placement * resource-manager.cc(do_update_network_settings): default for port setting * settings-dialog.cc(constructor): provide default values for settings
author Torsten <ttl@justmail.de>
date Wed, 27 Mar 2013 19:52:26 +0100
parents 5758e0013246
children
line wrap: on
line source

*~
*.user
*.o
*.a
Makefile*
*.pdb
debug/
release/