Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clm
Commits
a6b24221
Commit
a6b24221
authored
Oct 29, 2003
by
Ronny Wichers Schreur
🏘
Browse files
reverted previous commit because it didn't work
parent
11017f0b
Changes
1
Hide whitespace changes
Inline
Side-by-side
CleanIDE/Ed/EdVisualCursor.icl
View file @
a6b24221
...
...
@@ -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
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment