diff gui/src/VariablesDockWidget.cpp @ 13524:8c143d6d0330

gui-editor: improved behaviour when closing a modified file
author ttl (Torsten) <ttl@justmail.de>
date Wed, 20 Jul 2011 21:23:07 +0200
parents 103b7bebb38f
children 869c62c15e95
line wrap: on
line diff