# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1528882409 -7200
# Node ID 7737c7f26c10f629513487a031c2d0e635a38081
# Parent  d3f8906eb99348514d15f468df6a2db81a4ecdf5
*** empty log message ***

diff -r d3f8906eb993 -r 7737c7f26c10 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