Edt options applet in GN3MMC

Build 1501 on 14/Nov/2017  This topic last edited on: 8/May/2013, at 15:23

This is handled at the level of personal preferences on the Editions main tab.