8 Commits

Author	SHA1	Message	Date
Basile Burg	42a8cc8924	option editor is modal ... when editing a shortcut this prevent the shortcut to be handled	2015-02-23 06:19:08 +01:00
Basile Burg	ca84243cfa	options are sorted	2015-02-23 03:52:10 +01:00
Basile Burg	4bcb2c6dcf	tweaked option editor options	2015-02-21 13:58:56 +01:00
Basile Burg	55ce01af2d	added option editor for the docking	2015-02-21 01:49:16 +01:00
Basile Burg	82084975d8	non default value in green	2015-02-20 11:37:09 +01:00
Basile Burg	94ec732c39	dev option editor - 3	2015-02-19 06:08:06 +01:00
Basile Burg	9f7b702417	option editor made non-dockable	2015-02-19 03:19:09 +01:00
Basile Burg	7b3dc52906	dev option editor - 1	2015-02-18 13:58:05 +01:00