Commit 0a33b105 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur

reverted previous commit because it didn't work

parent b1985e97
......@@ -302,11 +302,14 @@ vChangeSelectionTo newSelection =
vHiliteSelection :: ViewFrame [Rectangle] Text FontInfo Selection *Picture -> *Picture
vHiliteSelection frame upds text fontInfo=:{charWidth, marginWidth, syntaxColours} selection pic
# rects = selToRects selection frame text fontInfo
/*
// # rects = trace_l rects rects
// = trace_n` ("vHiliteSelection",frame) appClipPicture (toRegion upds)(seq(map hilite rects) ) pic
# bRects = [{r & corner2.x = min r.corner2.x margin} \\ r <- rects]
# mRects = [{r & corner1.x = max r.corner1.x margin} \\ r <- rects]
= appClipPicture (toRegion upds)(seq(map hilite mRects) o setPenBack syntaxColours.marginColour o seq(map hilite bRects) o setPenBack syntaxColours.backgroundColour) pic
*/
= appClipPicture (toRegion upds)(seq(map hilite rects) ) pic
where
margin
= marginWidth * charWidth
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment