[Rodin-b-sharp-user] Rodin 3.9 on macOS - make views more compact again

[Michael L. <Mic...@un...>]

Hi everybody, 
in case you are bothered (like myself) about the increase whitespace in Rodin’s Event-B Explorer or ProB’s operation view on macOS, you can add the following line to your rodin.ini file:
-Dorg.eclipse.swt.internal.carbon.smallFonts

Kind regards,
Michael Leuschel