- fixed crash-on-exit (simply by not running full destruction processing during program termination)

- and fixed compilation on linux systems too

- fixed compilation on windows systems

- fixed: changing the document of a subfile wasn't recorded into history properly

- whoah looks like I forgot to save in designer...

- down with all these unnecessary semicolons!

- refactored up the configuration dialog. Instead of setting all configuration values one-by-one, dynamically fill in the values and save them into config based on widget names and data

(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip

mercurial