would have to filter out of both the lineedit-based command history and the gui/launcher history
we can also add a preference in control-panel to control whether die is filtered. probably need to keep the preference state in Core so lineedit can access it
so an accidental up-Enter won't exit the game
would have to filter out of both the lineedit-based command history and the
gui/launcher
historywe can also add a preference in
control-panel
to control whetherdie
is filtered. probably need to keep the preference state in Core so lineedit can access it