Fedor Isakov 6c63cb409f Introduce Config component. Make typechecker pref page nicer. Consolidate all typechecking options. ... A reusable Config app component to be responsible for all level of configurations: default/system/user/ui. Swith to Config interface instead of map<string,Object> for options. Add an UI option to control whether trace is enabled.		2019-10-18 11:58:51 +02:00
..
plugin.mps	Introduce Config component. Make typechecker pref page nicer. Consolidate all typechecking options.	2019-10-18 11:58:51 +02:00
service.mps	Introduce Config component. Make typechecker pref page nicer. Consolidate all typechecking options.	2019-10-18 11:58:51 +02:00