diff options
Diffstat (limited to 'desktop/uiconfig/ui/extensionmanager.ui')
| -rw-r--r-- | desktop/uiconfig/ui/extensionmanager.ui | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/desktop/uiconfig/ui/extensionmanager.ui b/desktop/uiconfig/ui/extensionmanager.ui index bcc1be250dd0..828c799178c3 100644 --- a/desktop/uiconfig/ui/extensionmanager.ui +++ b/desktop/uiconfig/ui/extensionmanager.ui @@ -312,22 +312,6 @@ <property name="top_attach">0</property> </packing> </child> - <child> - <object class="GtkLinkButton" id="getextensions"> - <property name="label" translatable="yes" context="extensionmanager|getextensions">Get more extensions online...</property> - <property name="visible">True</property> - <property name="can_focus">True</property> - <property name="receives_default">True</property> - <property name="has_tooltip">True</property> - <property name="relief">none</property> - <property name="xalign">0</property> - </object> - <packing> - <property name="left_attach">0</property> - <property name="top_attach">1</property> - <property name="width">3</property> - </packing> - </child> </object> <packing> <property name="expand">False</property> |