38 #ifndef GECODE_GIST_PREFERENCES_HH
39 #define GECODE_GIST_PREFERENCES_HH
42 #if QT_VERSION >= 0x050000
47 namespace Gecode {
namespace Gist {
bool zoom
Whether to automatically zoom during search.
bool hideFailed
Whether to automatically hide failed subtrees during search.
bool copies
Whether to show where copies are in the tree.
void toggleSlow(int state)
Toggle slow down setting.
int c_d
The copying distance.
Preferences dialog for Gist.
void defaults(void)
Reset to defaults.
PreferencesDialog(const Options &opt, QWidget *parent=0)
Constructor.
bool smoothScrollAndZoom
Whether to use smooth scrolling and zooming.
void writeBack(void)
Write settings.
int refresh
How often to refresh the display during search.
int refreshPause
Milliseconds to wait after each refresh (to slow down search)
Gecode toplevel namespace
bool moveDuringSearch
Whether to move cursor during search.
QCheckBox * moveDuringSearchBox
int a_d
The adaptive recomputation distance.