make initial size of script error panel configurable (Fixes #2996)

pull/814/head
Marc Zinnschlag 9 years ago
parent f5c61ee616
commit 99500f4021

@ -334,6 +334,11 @@ void CSMSettings::UserSettings::buildSettingModelDefaults()
delay->setRange (0, 10000);
delay->setToolTip ("Delay in milliseconds");
Setting *errorHeight = createSetting (Type_SpinBox, "error-height",
"Initial height of the error panel");
errorHeight->setDefaultValue (100);
errorHeight->setRange (100, 10000);
Setting *formatInt = createSetting (Type_LineEdit, "colour-int", "Highlight Colour: Int");
formatInt->setDefaultValues (QStringList() << "Dark magenta");
formatInt->setToolTip ("(Default: Green) Use one of the following formats:" + tooltip);

@ -89,7 +89,7 @@ void CSVWorld::ScriptSubView::adjustSplitter()
CSVWorld::ScriptSubView::ScriptSubView (const CSMWorld::UniversalId& id, CSMDoc::Document& document)
: SubView (id), mDocument (document), mColumn (-1), mBottom(0), mButtons (0),
mCommandDispatcher (document, CSMWorld::UniversalId::getParentType (id.getType())),
mErrorHeight (100)
mErrorHeight (CSMSettings::UserSettings::instance().setting ("script-editor/error-height").toInt())
{
std::vector<std::string> selection (1, id.getId());
mCommandDispatcher.setSelection (selection);

Loading…
Cancel
Save