diff options
| -rw-r--r-- | terminal.ui | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/terminal.ui b/terminal.ui index 3fd1ac8..c22fbec 100644 --- a/terminal.ui +++ b/terminal.ui @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- Generated with glade 3.38.2 --> <interface> - <requires lib="gtk+" version="3.20"/> + <requires lib="gtk+" version="3.24"/> <requires lib="vte-2.91" version="0.54"/> <object class="GtkImage" id="copy_hyperlink_image"> <property name="visible">True</property> @@ -123,7 +123,6 @@ <object class="GtkScrolledWindow" id="scrolled_window"> <property name="visible">True</property> <property name="can-focus">True</property> - <property name="window-placement-set">False</property> <property name="propagate-natural-width">True</property> <property name="propagate-natural-height">True</property> <child> |