diff options
Diffstat (limited to 'plugins/externaltools/tools/tools.ui')
| -rwxr-xr-x | plugins/externaltools/tools/tools.ui | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui index dff7d192..8b40ad98 100755 --- a/plugins/externaltools/tools/tools.ui +++ b/plugins/externaltools/tools/tools.ui @@ -122,7 +122,7 @@ </row> </data> </object> - <object class="GeditDocument" id="commands_buffer"> + <object class="PlumaDocument" id="commands_buffer"> <property name="highlight-matching-brackets">True</property> </object> <object class="GtkDialog" id="tool-manager-dialog"> @@ -517,7 +517,7 @@ <property name="vscrollbar_policy">automatic</property> <property name="shadow_type">in</property> <child> - <object class="GeditView" id="commands"> + <object class="PlumaView" id="commands"> <property name="buffer">commands_buffer</property> <property name="visible">True</property> <property name="auto-indent">True</property> |