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?