Gergo Mocsi 8a1e19f4ff GSOC work, Tool/Options/Basic IDE Options created ... Created a new tab in Tools/Options/Basic IDE options instead of the ModalDialog. The original dialog under Basic IDE/View/IDE Options was removed. Tab page is disabled when experimetal flag is off, entry node in the treebox is visible. Change-Id: Iaad1ea5fadc3f05ca81f2240dceb513f25be35b9		2013-09-02 18:16:58 +02:00
..
menubar	GSOC work, Tool/Options/Basic IDE Options created	2013-09-02 18:16:58 +02:00
statusbar
toolbar
ui	GSOC work, Tool/Options/Basic IDE Options created	2013-09-02 18:16:58 +02:00