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/screenshots/index.php?linux_distribution_sm=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.

Time (s)	Query
0.00011	SET CHARSET latin2
0.00003	SET NAMES latin2
0.00094	SELECT u., g., o.logged FROM punbb_users AS u INNER JOIN punbb_groups AS g ON u.group_id=g.g_id LEFT JOIN punbb_online AS o ON o.ident='3.137.162.21' WHERE u.id=1
0.00092	REPLACE INTO punbb_online (user_id, ident, logged) VALUES(1, '3.137.162.21', 1732967878)
0.00042	SELECT * FROM punbb_online WHERE logged<1732967578
0.00051	SELECT topic_id FROM punbb_posts WHERE id=171664
0.00093	SELECT id FROM punbb_posts WHERE topic_id=18857 ORDER BY posted
0.00055	SELECT t.subject, t.closed, t.num_replies, t.sticky, f.id AS forum_id, f.forum_name, f.moderators, fp.post_replies, 0 FROM punbb_topics AS t INNER JOIN punbb_forums AS f ON f.id=t.forum_id LEFT JOIN punbb_forum_perms AS fp ON (fp.forum_id=f.id AND fp.group_id=3) WHERE (fp.read_forum IS NULL OR fp.read_forum=1) AND t.id=18857 AND t.moved_to IS NULL
0.00007	SELECT search_for, replace_with FROM punbb_censoring
0.00105	SELECT u.email, u.title, u.url, u.location, u.use_avatar, u.signature, u.email_setting, u.num_posts, u.registered, u.admin_note, p.id, p.poster AS username, p.poster_id, p.poster_ip, p.poster_email, p.message, p.hide_smilies, p.posted, p.edited, p.edited_by, g.g_id, g.g_user_title, o.user_id AS is_online FROM punbb_posts AS p INNER JOIN punbb_users AS u ON u.id=p.poster_id INNER JOIN punbb_groups AS g ON g.g_id=u.group_id LEFT JOIN punbb_online AS o ON (o.user_id=u.id AND o.user_id!=1 AND o.idle=0) WHERE p.topic_id=18857 ORDER BY p.id LIMIT 0,25
0.00077	UPDATE punbb_topics SET num_views=num_views+1 WHERE id=18857
Total query time: 0.0063 s

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

Informacje debugowania