Product:
Improvements:
. Updated editor to Scintilla 3.6.1
. Added an option in Editor Preferences to display white spaces.
Fixes:
. An array with a non constant index used to break the Auto watches.
. Tooltips used to be blinking.