comparison gui/src/SettingsDialog.cpp @ 14671:f346343654a4 gui

Settings readline event hook and fixed race condition. * WorkspaceModel: Decoupled writing and reading the symbol table. * OctaveLink: Added timer to periodically query for symbol table changes.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Tue, 22 May 2012 17:29:34 +0200
parents 97cb9286919c
children
comparison
equal deleted inserted replaced
14670:7fbea449737d 14671:f346343654a4