How to change top menu bar size

[satimis]

Hi all,

Ubuntu 12.04

I have been looking around to change top bar size without result. Alt+ right click doesn't help.

Please advise. TIA

B.R.
satimis

[Frogs Hair]

If you are using Classic Gnome try super key + Alt + right click . Unity has no option to change panel size . I think the GTK theme would have to be modified to affect a change in Unity.

[satimis]

If you are using Classic Gnome try super key + Alt + right click . Unity has no option to change panel size . I think the GTK theme would have to be modified to affect a change in Unity.
Which key is "super key"? Thanks

satimis

[keithb]

I believe that would be the windows key.

[satimis]

I believe that would be the windows key.

I don't find it on my Logitech keyboard. Is there any other solution? Thanks

satimis

[vasa1]

I don't find it on my Logitech keyboard. Is there any other solution? Thanks

satimis

On the immediate left of the space bar is the alt key and the super key is to the immediate left of that.

And what desktop environment are you using?

[satimis]

On the immediate left of the space bar is the alt key and the super key is to the immediate left of that.

I tried it before without result.



And what desktop environment are you using?
Ubuntu Desktop. Pls see attached file.

Thanks

satimis

[Frogs Hair]

That is Unity and as I wrote it doesn't have the option to change panel size .

[black veils]

the top panel is not showing at all? did you use an application to set it on auto-hide or something?

http://www.softpedia.com/reviews/linux/Ubuntu-Tweak-Review-273016.shtml

[satimis]

the top panel is not showing at all?

It has been there long befor I installed Gnome-tweak-tool. Gnome-tweak-tool provides function to edit fonts


did you use an application to set it on auto-hide or something?

http://www.softpedia.com/reviews/linux/Ubuntu-Tweak-Review-273016.shtml
No.

Would installing ubuntu-tweak generate a conflict to Gnome-tweak-tool?

Thanks

B.R.
satimis