//========================================================================================
// Reset()
//========================================================================================
public override void Reset()
{
sizeBox.Value = UserOptions.GetInt("editor/editorTabs/size");
if (UserOptions.GetBoolean("editor/editorTabs/keepTabs"))
{
keepTabsRadio.Checked = true;
}
else
{
insertSpacesRadio.Checked = true;
}
}
//========================================================================================
// Reset()
//========================================================================================
public override void Reset()
{
queryDirBox.Text = UserOptions.GetString("general/queryPath");
resultsDirBox.Text = UserOptions.GetString("general/resultPath");
templateDirBox.Text = UserOptions.GetString("general/templatePath");
queryExtBox.Text = UserOptions.GetString("general/queryExtension");
reportExtBox.Text = UserOptions.GetString("general/reportExtension");
resultsExtBox.Text = UserOptions.GetString("general/resultExtension");
templateExtBox.Text = UserOptions.GetString("general/templateExtension");
maxMruBox.Value = UserOptions.GetInt("general/maxMru");
saveModifiedCheck.Checked = UserOptions.GetBoolean("general/saveModified");
savePositionCheck.Checked = UserOptions.GetBoolean("general/savePosition");
defaultAppCheck.Checked = UserOptions.GetBoolean("general/defaultApp");
}
//========================================================================================
// Reset()
//========================================================================================
public override void Reset()
{
showGutterCheck.Checked = UserOptions.GetBoolean("editor/general/showGutter");
lineNumbersCheck.Checked = UserOptions.GetBoolean("editor/general/lineNumbers");
gutterWidthBox.Value = UserOptions.GetInt("editor/general/gutterWidth");
showMarginCheck.Checked = UserOptions.GetBoolean("editor/general/showMargin");
marginPositionBox.Value = UserOptions.GetInt("editor/general/marginPosition");
wordWrapCheck.Checked = UserOptions.GetBoolean("editor/general/wordWrap");
wrapAtMarginCheck.Checked = UserOptions.GetBoolean("editor/general/wrapAtMargin");
beolnCheck.Checked = UserOptions.GetBoolean("editor/general/beyondEoln");
beofCheck.Checked = UserOptions.GetBoolean("editor/general/beyondEof");
vscrollCheck.Checked = UserOptions.GetBoolean("editor/general/verticalScroll");
hscrollCheck.Checked = UserOptions.GetBoolean("editor/general/horizontalScroll");
DoToggleGutter(null, null);
DoToggleWordWrap(null, null);
}
//========================================================================================
// Reset()
//========================================================================================
public override void Reset()
{
targetBox.SelectedIndex = (int)Enum.Parse(
typeof(Database.ResultTarget),
UserOptions.GetString("results/general/target"),
false);
formatBox.SelectedIndex = (int)Enum.Parse(
typeof(Database.ResultFormat),
UserOptions.GetString("results/general/format"),
false);
delimeterBox.Text = UserOptions.GetString("results/general/delimeter");
maxCharBox.Value = UserOptions.GetInt("results/general/maxChar");
printHeadersCheck.Checked = UserOptions.GetBoolean("results/general/printHeader");
scrollResultsCheck.Checked = UserOptions.GetBoolean("results/general/scrollResults");
rightAlignCheck.Checked = UserOptions.GetBoolean("results/general/rightAlign");
outputQueryCheck.Checked = UserOptions.GetBoolean("results/general/outputQuery");
dbmsOutputCheck.Checked = UserOptions.GetBoolean("results/general/dbmsOutput");
cleanNewlinesCheck.Checked = UserOptions.GetBoolean("results/general/cleanNewlines");
}