diff options
Diffstat (limited to 'plugins/externaltools')
| -rw-r--r-- | 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 21de8428..62501e2f 100644 --- a/plugins/externaltools/tools/tools.ui +++ b/plugins/externaltools/tools/tools.ui @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> -<!-- Generated with glade 3.22.1 --> +<!-- Generated with glade 3.22.2 --> <interface> - <requires lib="gtk+" version="3.0"/> + <requires lib="gtk+" version="3.22"/> <object class="PlumaDocument" id="commands_buffer"> <property name="highlight-matching-brackets">True</property> </object> |