diff options
Diffstat (limited to 'src/plugins/texteditor/highlightersettingspage.ui')
| -rw-r--r-- | src/plugins/texteditor/highlightersettingspage.ui | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/src/plugins/texteditor/highlightersettingspage.ui b/src/plugins/texteditor/highlightersettingspage.ui index 7b1e6c9e0d..5bd32a8a87 100644 --- a/src/plugins/texteditor/highlightersettingspage.ui +++ b/src/plugins/texteditor/highlightersettingspage.ui @@ -64,9 +64,12 @@ <item> <layout class="QHBoxLayout" name="horizontalLayout_4"> <item> - <widget class="QPushButton" name="updateDefinitions"> + <widget class="QPushButton" name="downloadDefinitions"> + <property name="toolTip"> + <string>Download missing and update existing syntax definition files.</string> + </property> <property name="text"> - <string>Update Definitions</string> + <string>Download Definitions</string> </property> </widget> </item> @@ -108,6 +111,16 @@ </item> </layout> </item> + <item> + <widget class="QPushButton" name="reloadDefinitions"> + <property name="toolTip"> + <string>Reload externally modified definition files.</string> + </property> + <property name="text"> + <string>Reload Definitions</string> + </property> + </widget> + </item> </layout> </item> <item> |