34#ifndef GECODE_GIST_PREFERENCES_HH
35#define GECODE_GIST_PREFERENCES_HH
38#if QT_VERSION >= 0x050000
43namespace Gecode {
namespace Gist {
Preferences dialog for Gist.
void writeBack(void)
Write settings.
void toggleSlow(int state)
Toggle slow down setting.
bool hideFailed
Whether to automatically hide failed subtrees during search.
int c_d
The copying distance.
bool moveDuringSearch
Whether to move cursor during search.
void defaults(void)
Reset to defaults.
int a_d
The adaptive recomputation distance.
bool smoothScrollAndZoom
Whether to use smooth scrolling and zooming.
bool zoom
Whether to automatically zoom during search.
PreferencesDialog(const Options &opt, QWidget *parent=0)
Constructor.
bool copies
Whether to show where copies are in the tree.
QCheckBox * moveDuringSearchBox
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