From 04e9b5610292148b82c7eb87228a5a34abd78775 Mon Sep 17 00:00:00 2001 From: Jean-Paul Chaput Date: Sun, 25 Oct 2020 12:06:41 +0100 Subject: [PATCH] Try some new colors for the abutment box drawing (again). --- crlcore/etc/common/display.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crlcore/etc/common/display.py b/crlcore/etc/common/display.py index 3b7b8252..aa9c595d 100644 --- a/crlcore/etc/common/display.py +++ b/crlcore/etc/common/display.py @@ -208,7 +208,7 @@ def createStyles ( scale=1.0 ): style.addDrawingStyle( group='Viewer', name='rubber' , color=toRGB('192,0,192' ), border=4, threshold=0.02*scale ) style.addDrawingStyle( group='Viewer', name='phantom' , color=toRGB('Seashell4' ), border=1 ) #style.addDrawingStyle( group='Viewer', name='boundaries' , color=toRGB('208,199,192'), border=2, threshold=0 ) - style.addDrawingStyle( group='Viewer', name='boundaries' , color=toRGB('wheat1') , border=2, threshold=0 ) + style.addDrawingStyle( group='Viewer', name='boundaries' , color=toRGB('wheat1') , border=2, pattern='0000000000000000', threshold=0 ) style.addDrawingStyle( group='Viewer', name='marker' , color=toRGB('80,250,80' ), border=1 ) style.addDrawingStyle( group='Viewer', name='selectionDraw' , color=toRGB('White' ), border=1 ) style.addDrawingStyle( group='Viewer', name='selectionFill' , color=toRGB('White' ), border=1 )