Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
C
clean-ide
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
6
Issues
6
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
clean-and-itasks
clean-ide
Commits
a849a1f8
Commit
a849a1f8
authored
Feb 21, 2003
by
Diederik van Arkel
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
rename CursorInfo to avoid nameclash with ObjectI/O
parent
0c063c67
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
3 deletions
+2
-3
Ed/EdMonad.icl
Ed/EdMonad.icl
+2
-3
No files found.
Ed/EdMonad.icl
View file @
a849a1f8
...
...
@@ -39,7 +39,7 @@ import EdAction
,
timerId
::
!
Id
// P4
,
toolPt
::
!
Point2
// P4
,
fontInfo
::
!
FontInfo
,
cursorInfo
::
!
CursorInfo
,
cursorInfo
::
!
CursorInfo
`
,
selectInfo
::
!
SelectInfo
,
undoInfo
::
!
UndoInfo
,
needSave
::
!
Bool
...
...
@@ -50,7 +50,7 @@ import EdAction
,
readOnly
::
!
Bool
}
::
CursorInfo
::
CursorInfo
`
// rename to avoid conflict with Object I/O
=
{
position
::
!
Position
,
virtualX
::
!
Int
,
visible
::
!
Bool
...
...
@@ -470,7 +470,6 @@ where
|
c
==
s
.[
i
]
=
(
True
,
i
);
=
FindLastChar
c
s
(
dec
i
);
setNeedSave
::
Bool
->
EditMonad
(
PSt
.
l
)
nothing
setNeedSave
need
=
getReadOnly
>>>=
\
readOnly
->
...
...
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