mirror of
https://github.com/epasveer/seer.git
synced 2026-08-31 01:20:45 +08:00
Minor UI fixes.
This commit is contained in:
@@ -23,9 +23,7 @@ SeerEditorWidgetSource::SeerEditorWidgetSource(QWidget* parent) : QWidget(parent
|
||||
setupUi(this);
|
||||
|
||||
// Set the widgets.
|
||||
int space = fontMetrics().horizontalAdvance("Go to line ##") + 5;
|
||||
|
||||
searchLineNumberLineEdit->setMaximumWidth(space);
|
||||
sourceArea()->show();
|
||||
searchTextLineEdit->enableReturnPressedOnClear();
|
||||
|
||||
showSearchBar(false); // Hide the search bar. ctrl+F to show it again.
|
||||
|
||||
Reference in New Issue
Block a user