KDE-4.1: increasing panel height

[Timothy Murphy]

Florian Sievert wrote:

>> My panel has disappeared completely,
>> including the F start icon.
...
>> If I knew which file in .kde/share/configs/ actually deals with the panel
>> I could probably fix it.
>>   
> plasma-appletsrc
> plasmarc
> Are both files that handles plasma configuration. IMAO the panel itself
> should be in the first one.

Thanks for that.
I recovered by panel by replacing .kde/share/config/plasma-appletrc
with a version from another "instance" of kde.

I suspect that what had happened was that I had somehow
set the position of the panel outside the desktop.

It was instructive to learn that one do without the panel,
changing desktops by ctrl-F? and running commands
by right-clicking on empty desktops.


-- 
Timothy Murphy  
e-mail: gayleard /at/ eircom.net
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland