*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Wed, 13 Jun 2018 11:33:29 +0200
changeset 8382 7737c7f26c10
parent 8381 d3f8906eb993
child 8383 a6640460cb58
*** empty log message ***
styles/macosx.style
--- a/styles/macosx.style	Tue Jun 12 17:59:55 2018 +0200
+++ b/styles/macosx.style	Wed Jun 13 11:33:29 2018 +0200
@@ -281,6 +281,7 @@
 
 text.selectionBackgroundColor   (Color rgbValue:16rb3d7fd)
 text.selectionForegroundColor   Color black
+text.topMargin              4
 
 codeView2.level             0