prevent unintended session options alteration from the gui
prevent unintended session options alteration from the gui
tectronics/coreemu,marek-sezemsky/coreemu,tectronics/coreemu,guidotack/coreemu,gregtampa/coreemu,marek-sezemsky/coreemu,gregtampa/coreemu,marek-sezemsky/coreemu,guidotack/coreemu,guidotack/coreemu,gregtampa/coreemu,tectronics/coreemu