Skip to content
GitLab
Explore
Sign in
Tobias Hunger
qt-creator
Repository
qt-creator
src
plugins
texteditor
generichighlighter
managedefinitionsdialog.ui
Find file
Blame
History
Permalink
Some tweaks to the Manage Definitions dialog
· 5c741218
Thorbjørn Lindeijer
authored
Jul 15, 2010
Don't highlight selection in headers, disable editing and make it a bit bigger by default.
5c741218