How to Change the panel ruler width in preferences