jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Recent: Fix buttons layout

Browse Source 
Fixes https://github.com/linuxmint/mint20.2-beta/issues/75
This commit is contained in:
Clement Lefebvre 2021-07-01 13:38:23 +01:00
parent 772a10bb7a
commit b08050dfbb
2 changed files with 18 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
usr/lib/linuxmint/mintMenu/plugins/recent.py
View File

@ -7,7 +7,7 @@ import subprocess
import gi
gi.require_version("Gtk", "3.0")
from gi.repository import Gtk, Gio
from gi.repository import Gtk, Gio, Pango
import plugins.recentHelper as RecentHelper
from plugins.execute import Execute
@ -174,7 +174,7 @@ class pluginclass:
Box1.add(ButtonIcon)
Label1 = Gtk.Label(DispName)
Label1.set_ellipsize(3)
Label1.set_ellipsize(Pango.EllipsizeMode.END)
Box1.add(Label1)
AButton.add(Box1)

27
usr/share/linuxmint/mintmenu/recent.ui
View File

@ -1,12 +1,12 @@
<?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"/>
<object class="GtkWindow" id="window1">
<property name="can_focus">False</property>
<property name="border_width">3</property>
<property name="title" translatable="yes">window1</property>
<child>
<child type="titlebar">
<placeholder/>
</child>
<child>
@ -34,15 +34,19 @@
<object class="GtkViewport" id="viewport1">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_top">6</property>
<property name="margin_bottom">6</property>
<property name="margin_left">12</property>
<property name="margin_right">12</property>
<property name="margin_top">12</property>
<property name="margin_bottom">12</property>
<property name="shadow_type">none</property>
<child>
<object class="GtkButtonBox" id="RecentBox">
<object class="GtkBox" id="RecentBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="orientation">vertical</property>
<property name="layout_style">start</property>
<child>
<placeholder/>
</child>
</object>
</child>
</object>
@ -67,15 +71,16 @@
<object class="GtkViewport" id="viewport2">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_top">6</property>
<property name="margin_bottom">6</property>
<property name="margin_left">12</property>
<property name="margin_right">12</property>
<property name="margin_top">12</property>
<property name="margin_bottom">12</property>
<property name="shadow_type">none</property>
<child>
<object class="GtkButtonBox" id="RecentApps">
<object class="GtkBox" id="RecentApps">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="border_width">3</property>
<property name="orientation">vertical</property>
<property name="layout_style">start</property>
<child>
<placeholder/>
</child>