Forum Debian Users Gang

kamilsok · 2011-04-26 11:43:36

Witam

Obecnie korzystam ze stabilnej wersji Debiana 6.0.1a. Ponieważ laptop, na którym go używam, nie posiada zbyt dużego ekranu (1280x800), instalując na nim daną dystrybucję Linuksa staram się zmniejszyć rozmiar czcionki oraz górnego i dolnego panelu menu (prawy przycisk myszki->właściwości->rozmiar). Niestety nie dla każdego systemu jest to możliwe. W przypadku rzeczonego Debiana z GNOME 2.30 górny panel nie może zostać zmniejszony bardziej niż do 24 pikseli (parameter "rozmiar" można zmienić, ale sam panel pozostaje tej samej wielkości). Po drobnych poszukiwaniach wydaje mi się, że problem leży w skalowalności ikon umieszczonych na górnym panelu (w szczególności ikonki gnome-main-menu). Proszę o pomoc..

ArnVaker · 2011-04-26 12:02:34

Z ikoną gnome-main-menu z domyślnego zestawu ikon nie ma takiego problemu — skaluje się normalnie i panel zmniejsza się do ustawionej wielkości. Nikt z nas niestety nie wie jakiego zestawu ikon używasz i co tam jeszcze masz na tym panelu, co może przeszkadzać. Określenie „górny panel” też w sumie niewiele mówi, ponieważ panele i ich zawartość w tym środowisku można konfigurować dowolnie, sam mam tylko jeden panel i to na dole.

kamilsok · 2011-04-26 12:11:02

Poniewaz instalowałem Debiana wczoraj, korzystam z domyślnego motywu dla środowiska GNOME wraz z domyślnym układem pulpitu (dwa panele, jeden u góry, drugi na dole) i domyślnymi ikonami. Mała podpowiedź na zrzucie ekranu:

http://www.thecodingstudio.com/opensource/linux/scr … =Debian%206.0

Ta ikonka, o której wspominałem, nie nazywa sie gnome-main-menu, a jedynie znajduje sie w tym samym miejscu na panelu górnym (tutaj widać, że jest zastąpiona przez debian-swirl). Także przepraszam za drobna nieścisłość.

Marvell · 2011-04-26 12:12:42

Tak, problem tkwi zapewne w tej ikonie. Sam zastąpiłem ją jakimś miniaturowym plikiem png i teraz panel górny (domyślnego wyglądu, ArnVaker ;) ) można dowolnie skalować.

Nie w każdym schemacie ikon to występuje.

ArnVaker · 2011-04-26 12:16:10

Ach, chodzi w takim razie o aplet „Pasek menu”. Ja bym go w ogóle usunął, a zamiast niego dodał „Menu główne”. :)

kamilsok · 2011-04-26 12:17:12

Fajnie by było, gdyby istniała możliwość skalowania panelu wraz z domyślną ikonką. Jakieś pomysły, sugestie..

ArnVaker · 2011-04-26 16:43:56

To jakiś stary bug jest: https://bugs.launchpad.net/gnome-panel/+bug/223075

Są tam różne propozycje obejścia problemu, możesz spróbować.

kamilsok · 2011-04-27 10:37:55

Niestety żadna z zawartych tam porad nie pomaga.
Cóż.. jest to bug i tyle. Nie wiem, czy ktokolwiek ruszy ten problem teraz, gdy GNOME 3.0 zaczyna "zdobywać teren".

Chyba faktycznie będę musiał spróbować pobawić się w podmianę plików .svg.

Forum Debian Users Gang

Ogłoszenie

#1 2011-04-26 11:43:36

kamilsok - Użytkownik

zmniejszenie górnego panelu a ikonka gnome-main-menu

#2 2011-04-26 12:02:34

ArnVaker - Kapelusznik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#3 2011-04-26 12:11:02

kamilsok - Użytkownik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#4 2011-04-26 12:12:42

Marvell - Członek DUG

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#5 2011-04-26 12:16:10

ArnVaker - Kapelusznik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#6 2011-04-26 12:17:12

kamilsok - Użytkownik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#7 2011-04-26 16:43:56

ArnVaker - Kapelusznik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

#8 2011-04-27 10:37:55

kamilsok - Użytkownik

Re: zmniejszenie górnego panelu a ikonka gnome-main-menu

Stopka forum