@ecc29: IIRC the values for left & right margin are cached and after first reboot after changing the jar files you have to open Aa menu and press on one of the other two margin icons and then press on the first one. Then the value (and thus the margin size itself) gets updated.
|