- enhancement: can use different colors to highlight the current word and the selections
- enhancement: can set editor's default background / foreground color. They must be setted to make the custom color schemes correctly.
- enhancement: can set the color for the current line's number in the gutter
- all predefined color schemes updated.
- fix: Custom editor colors shouldn't be tested for high contrast with the default background color
- fix: Custom color settings not correctly displayed in the options widget
- enhancement: add hit counts in the search result view
- fix: editor actions' state not correctly updated after close editors.
- fix: can't correctly get system default encoding name when save file
- fix: Tokenizer can't correctly handle array parameters
- fix: debug actions enabled states not correct updated when processing debug mouse tooltips