lang: Add editable property to QWebView

SCWebView had this feature, but QWebView never has. It's not needed for help files, but this provides an easy way to edit examples in rich text files without having to write javascript.

Signed-off-by: Scott Wilson <i@scottwilson.ca>
scide: Use platform appropriate icon to indicate needs save status

Signed-off-by: Scott Wilson <i@scottwilson.ca>
scide: Improve cross-platform behaviour of document switcher

This did not work at all on Mac

Signed-off-by: Scott Wilson <i@scottwilson.ca>
scide: improve ability to distinguish active/focussed editor pane

Previously it could be impossible to distinguish visibly which pane was had active, and which split corresponded to the active tab. This provides visual feedback when switching panes, and the means to somewhat customise this.

Signed-off-by: Scott Wilson <i@scottwilson.ca>
Merge pull request #970 from supercollider/ide-editor-improvements-improvements

Ide editor improvements improvements
scide: Fix memory leak with focus ring

Signed-off-by: Scott Wilson <i@scottwilson.ca>
Merge pull request #969 from supercollider/AddEditableToWebView

lang: Add editable property to QWebView
scide: Fix bug whereby focussing did not always occur properly

Signed-off-by: Scott Wilson <i@scottwilson.ca>
scide: don't detach help browser when launching help-about-IDE.

Closes #976
scide: don't reshape geometry when launching help-about-IDE. (completes cd55bc6)
Class lib: PmonoStream: Fix cleanup bug (was adding cleanups for rests)

Signed-off-by: Dan Stowell <danstowell@users.sourceforge.net>