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
clean-ide
Commits
3ffe0e67
Commit
3ffe0e67
authored
Feb 21, 2003
by
Diederik van Arkel
Browse files
minor cleanup
parent
4c2bae7d
Changes
1
Hide whitespace changes
Inline
Side-by-side
Ide/IDE.icl
View file @
3ffe0e67
...
@@ -31,8 +31,10 @@ from PmCleanSystem import QuitCleanCompiler
...
@@ -31,8 +31,10 @@ from PmCleanSystem import QuitCleanCompiler
import
Platform
,
IdePlatform
import
Platform
,
IdePlatform
import
PmDriver
import
PmDriver
import
StdSystem
import
StdSystem
,
StdClipboard
//import dodebug
//trace_n m f :== trace_n` m f
trace_n
_
f
:==
f
trace_n
_
f
:==
f
//--
//--
...
@@ -44,7 +46,7 @@ ensureDirectory pd_string env
...
@@ -44,7 +46,7 @@ ensureDirectory pd_string env
=
(
ok
,
env
)
=
(
ok
,
env
)
#
(
err_code
,
env
)
=
createDirectory
path
env
#
(
err_code
,
env
)
=
createDirectory
path
env
=
(
err_code
==
NoDirError
||
err_code
==
AlreadyExists
,
env
)
=
(
err_code
==
NoDirError
||
err_code
==
AlreadyExists
,
env
)
//import dodebug
Start
::
!*
World
->
*
World
Start
::
!*
World
->
*
World
Start
world
Start
world
#
(
stup
,
world
)
=
accFiles
GetFullApplicationPath
world
#
(
stup
,
world
)
=
accFiles
GetFullApplicationPath
world
...
@@ -66,13 +68,8 @@ Start world
...
@@ -66,13 +68,8 @@ Start world
#!
(
prefs
,
world
)
=
openPrefs
prefspath
world
#!
(
prefs
,
world
)
=
openPrefs
prefspath
world
#
envspath
=
MakeFullPathname
EnvsDir
EnvsFileName
#
envspath
=
MakeFullPathname
EnvsDir
EnvsFileName
#!
(
iniTargets
,
world
)
=
openEnvironments
stup
envspath
world
#!
(
iniTargets
,
world
)
=
openEnvironments
stup
envspath
world
// # envspath = EnvsDir
// # (iniTargets,world) = getEnvironments stup envspath world
// # world = trace_n` ("entries",listToString entries) world
// #! (iniTargets,world)
// = openEnvironments stup envspath world
#
(
ffind
,
world
)
=
initFindBoxInfo
prefs
world
#
(
ffind
,
world
)
=
initFindBoxInfo
prefs
world
#
(
iniTwi
,
world
)
=
iniTypeWinInfo
mEditId
mEdUndoId
([])
prefs
.
typ_prefs
world
#
(
iniTwi
,
world
)
=
iniTypeWinInfo
mEditId
mEdUndoId
([])
prefs
.
typ_prefs
world
...
@@ -113,7 +110,6 @@ Start world
...
@@ -113,7 +110,6 @@ Start world
world
world
#
patt
=
[
ProcessClose
(
Quit
prefspath
)
#
patt
=
[
ProcessClose
(
Quit
prefspath
)
,
ProcessOpenFiles
openfiles
,
ProcessOpenFiles
openfiles
// , ProcessActivate (trace_n` "ACTIVATE!")
// , ProcessClipboardChanged clip_changed
// , ProcessClipboardChanged clip_changed
:
toolbar
:
toolbar
]
++
PlatformProcessAttributes
]
++
PlatformProcessAttributes
...
@@ -932,7 +928,7 @@ where
...
@@ -932,7 +928,7 @@ where
=
ps
=
ps
//--
//--
import
StdClipboard
ed_Undo
ps
ed_Undo
ps
#
(_,
ps
)
=
sendToActiveWindow
msgUndo
ps
#
(_,
ps
)
=
sendToActiveWindow
msgUndo
ps
=
mb_update_undoinfo
ps
=
mb_update_undoinfo
ps
...
...
Write
Preview
Supports
Markdown
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