diff gui/src/SettingsDialog.ui @ 13683:25dc40d24a44

Renamed VariablesDockWidget to WorkspaceView and optimized memory footprint for 30%.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Fri, 30 Sep 2011 12:34:37 +0200
parents 6cf48511e735
children be3e1a14a6de
line wrap: on
line diff