[platform-text-dev] Some new fixes

[sdavids@xxxxxx]

Provided fixes for:

5811 Pref to set editor background color
8518 [typing] change case functionality
21143 Feature: Insert a new line on shortcut
22712 professionnal editor features: show invisible chars
38922 method getNextPage() in JavadocTreeWizardPage unnecessary [Javadoc]
[Wizard]

Question in:
22708 professionnal editor features: fast bookmarks

Should be marked as fixed-resolved:
Bug 24047 Bookmark is silently removed by double click

-- 
+++ GMX - Mail, Messaging & more  http://www.gmx.net +++
Bitte lächeln! Fotogalerie online mit GMX ohne eigene Homepage!