Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I would like to adjust the height of an XFCE panel to be 97.5% rather than 97%. Using the GUI, only integer values are accepted (through xfce-panel -p 1). I tried manually editing the configuration file in ~/.config/xfce4/xfconf/xfce-perchannel-xml/, but every time I restart xfce-panel, my changes are reverted.

Is there a better way to manually edit the settings? Or, is it possible to have decimal percentage heights?

share|improve this question

closed as off-topic by Luis Alvarado Jul 25 at 2:00

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Bug reports and problems with the development version of Ubuntu should be reported on Launchpad so that developers can see, track and fix these issues." – Luis Alvarado
If this question can be reworded to fit the rules in the help center, please edit the question.

    
My guess is that only integer values are accepted whether one uses a GUI or manually edits config files. –  user25656 Aug 31 '13 at 4:42
    
Hmm, I just checked in the Settings Editor application, and the property is of type Integer. I guess you could write a patch, if it isn't too difficult. –  Azmisov Aug 31 '13 at 4:47
    
Such a patch would look to me "too much work for too little benefit"(TM). –  ignis Sep 2 '13 at 13:32

Browse other questions tagged or ask your own question.