[platform-text-dev] Fixes

[sdavids@xxxxxx]

Provided fixes for the following:

21143 - Feature: Insert a new line on shortcut
25960 - Status bar contributions of different sizes
25961 - Selected lines count shown
38745 - Markers should not be created for lines not in file
31827 - Add italic to editor syntax style choices ( only bold right now )
38741 - Typo in Javadoc for MarginPainter
38742 - Removes two warnings
38745 - Markers should not be created for lines not in file

Sebastian Davids

P.S: This bug should be looked at: 

38747 - IVerticalRulerInfo spec for getLineOfLastMouseButtonActivity()

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