Wysokość pionowego panelu

[Szalony Kapelusznik]

0

Witam,

Sprawa wygląda następująco. W jaki sposób zmienić 'wysokość' (nie szerokość) pionowego panelu, przykładowo tak, żeby zaczynał się dopiero XXXpx od górnej i YYYpx od dolnej części ekranu.
Pewnie dosyć prosta sprawa, jestem nowy w zabawie. Taki trochę 'dock', tylko, że z panelu. W cinnamon.css zmieniłem przeźroczystość lewego panelu.

Kod:

.panel-left {
  color: #ffffff;
  border: none;
  background-color: rgba(47, 47, 47, 0);
  font-size: 1em;
  padding: 0px; }

Natomiast w którym miejscu są 'współrzędne', hmm... zaczepów?

Z góry dzięki za pomoc
Pozdrawiam 

[yahoob3]

0

Gdybyś podał ścieżkę do tego css'a?
Poza tym... grzebać w plikach systemowych?... Taki "panel" można IMO, np. w Plank'u uzyskać.

[Szalony Kapelusznik]

0

~/.themes/Mint-Y-Dark/

[yahoob3]

0

U mnie ta lokalizacja jest pusta.
Wbrew pozorom, niekoniecznie wszystko można zmienić w Linuksie pod siebie... zwłaszcza w takim środowisku, jak Cinnamon.
Spróbuj Plank... taka moja rada
To bardzo dobry i nieobciążający dock. W przeciwieństwie, np. do Cairo.



Na obrazku masz dwa Planki które "przyciągnięte" są do lewego górnego rogu ekranu.

[Szalony Kapelusznik]

0

/usr/share/themes/Mint-Y-Dark/cinnamon

[yahoob3]

0

Jeśli dobrze rozumiem https://forums.linuxmint.com/viewtopic.php?t=313985 to nie ma rozwiązania Twojego problemu, tylko dock.

Zobacz czy w tej lokalizacji można coś "grzebnąć": /usr/share/cinnamon/cinnamon-settings/modules/cs_panel.py

[Szalony Kapelusznik]

0

Na pewno jest taka możliwość. Przecież w momencie rysowania pionowego panelu musi być znana wysokość górnego i dolnego.
Przykładowo coś takiego, tyle, że z dolnym panelem.

https://imgur.com/wlylZTm

Szukam jakiegoś zaczepienia w /usr/share/cinnamon/js/ui/panel.js ... ale z moimi możliwościami to może być problem.
Jakby ktoś miał jakiś pomysł, to zapraszam.

Pozdrawiam

[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...