Wysokość pionowego panelu

[yahoob3]

0

Jeśli docka zamiast grzebania w panelu polecają na linuxmint.com, to coś w tym jest. Tam siedzą ludziska z grupy power-user.
A z autopsji, wierz mi. Plank jest na prawdę fajny.

Kod:

sudo apt install plank

EDIT:
Grzebałeś w pliku, który podawałem wyżej?

Kod:

class PanelSettingsPage(SettingsPage):
    def __init__(self, panel_id, settings, position):
        super(PanelSettingsPage, self).__init__()
        self.set_margin_top(0)
        self.set_margin_bottom(0)
        self.panel_id = panel_id
        self.settings = settings

        center_switcher_label = _("Center Zone")

        if position in ("top", "bottom"):
            dimension_text = _("Panel height:")
            left_switcher_label = _("Left Zone")
            right_switcher_label = _("Right Zone")
        else:
            dimension_text = _("Panel width:")
            left_switcher_label = _("Top Zone")
            right_switcher_label = _("Bottom Zone")

        def can_show(vlist, possible):
            for item in vlist:
                if item.split(":")[0] == panel_id:
                    return item.split(":")[1] != "false"

Coś tu jest i wygląda nawet z sensem...