Skip to content
GitLab
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
e736ddd7
Commit
e736ddd7
authored
Oct 16, 2001
by
Diederik van Arkel
Browse files
Remaining 2.0 fixes for CleanIde
parent
4205e6ce
Changes
8
Hide whitespace changes
Inline
Side-by-side
Ed/EdKeyboard.icl
View file @
e736ddd7
...
...
@@ -105,7 +105,7 @@ where
enterKeyAction
autoTab
:==
case
autoTab
of
True
->
autoinAction
False
->
performAction
(
Insert
(
SCons
""
(
SCons
""
SNil
)))
// ["",""]
_
->
performAction
(
Insert
(
SCons
""
(
SCons
""
SNil
)))
// ["",""]
where
autoinAction
=
getText
>>>=
\
text
->
...
...
Ide/projmen.dcl
View file @
e736ddd7
...
...
@@ -5,7 +5,7 @@ definition module projmen
import
StdReceiver
import
PmProject
,
IdeState
ProjListMenu
::
Id
Id
(
R2Id
PLMMessage
PLMReply
)
->
NewLS
(:+:
.
RadioMenu
(
Receiver2
PLMMessage
PLMReply
))
.
a
*(
PSt
*
General
)
ProjListMenu
::
Id
Id
(
R2Id
PLMMessage
PLMReply
)
->
NewLS
(:+:
RadioMenu
(
Receiver2
PLMMessage
PLMReply
))
.
a
*(
PSt
*
General
)
pm_menu_add
::
.
Pathname
!*(
PSt
*
General
)
->
*
PSt
*
General
;
...
...
Ide/projmen.icl
View file @
e736ddd7
...
...
@@ -132,7 +132,7 @@ where
,
WindowInitActive
okId
]
ProjListMenu
::
Id
Id
(
R2Id
PLMMessage
PLMReply
)
->
NewLS
(:+:
.
RadioMenu
(
Receiver2
PLMMessage
PLMReply
))
.
a
*(
PSt
*
General
)
ProjListMenu
::
Id
Id
(
R2Id
PLMMessage
PLMReply
)
->
NewLS
(:+:
RadioMenu
(
Receiver2
PLMMessage
PLMReply
))
.
a
*(
PSt
*
General
)
ProjListMenu
mProjectId
mPrListId
mPrRecId
=
{
newDef
=
(
RadioMenu
[]
0
[
MenuId
mPrListId
]
...
...
Ide/search.icl
View file @
e736ddd7
...
...
@@ -518,7 +518,7 @@ IsOpen modname ps
#
(
windows
,
ps
)
=
accPIO
getWindowsStack
ps
=
doall
windows
ps
where
doall
::
![
.
Id
]
!*(
PSt
*
General
)
->
*(!.
Maybe
Id
,!*
PSt
*
General
)
doall
::
![
Id
]
!*(
PSt
*
General
)
->
*(!.
Maybe
Id
,!*
PSt
*
General
)
doall
[]
ps
=
(
Nothing
,
ps
)
doall
[
win
:
res
]
ps
#
(
mr
,
ps
)
=
message
win
msgGetPathName
ps
...
...
Ide/typewin.dcl
View file @
e736ddd7
...
...
@@ -7,7 +7,7 @@ from PmPrefs import TypPrefs
//--- Types window
iniTypeWinInfo
::
!
Id
!
Id
![
Id
]
!
TypPrefs
!*
a
->
*(.
TypeWinInfo
,*
a
)
|
accScreenPicture
,
Ids
a
iniTypeWinInfo
::
!
Id
!
Id
![
Id
]
!
TypPrefs
!*
a
->
*(.
TypeWinInfo
,*
a
)
|
Ids
,
accScreenPicture
a
// initialise type window info
updateTypeWindow
::
!
Bool
!
String
[
WindowAttribute
*(
EditState
,*(
PSt
*
b
))]
![
String
]
!*(
PSt
*
b
)
->
*
PSt
*
b
|
Typer
b
...
...
Interfaces/ProverOptions/ProverOptions.dcl
View file @
e736ddd7
...
...
@@ -17,7 +17,7 @@ import
// Modulenames should be stored WITHOUT extension; Pathnames should be stored fully and not end with a (back)slash
::
ProjectStructure
=
{
project_name
::
!
String
,
project_paths
::
![
!
String
]
,
project_paths
::
![
String
]
,
main_module_name
::
!
String
,
main_module_path
::
!
String
,
icl_modules
::
![(!
String
,
!
String
)]
// (name, path)
...
...
Interfaces/ProverOptions/ProverOptions.icl
View file @
e736ddd7
...
...
@@ -17,7 +17,7 @@ import
::
ProjectStructure
=
// -------------------------------------------------------------------------------------------------------------------------------------------------
{
project_name
::
!
String
,
project_paths
::
![
!
String
]
,
project_paths
::
![
String
]
,
main_module_name
::
!
String
,
main_module_path
::
!
String
,
icl_modules
::
![(!
String
,
!
String
)]
...
...
@@ -91,7 +91,7 @@ WriteDclModules [(name, path): rest] file
=
WriteDclModules
rest
file
// -------------------------------------------------------------------------------------------------------------------------------------------------
WriteProjectPaths
::
![
!
String
]
!*
File
->
!*
File
WriteProjectPaths
::
![
String
]
!*
File
->
!*
File
// -------------------------------------------------------------------------------------------------------------------------------------------------
WriteProjectPaths
[]
file
=
file
...
...
Util/morecontrols.icl
View file @
e736ddd7
...
...
@@ -58,9 +58,10 @@ where
:+:
TextControl
"Size:"
[
left
]
:+:
FontSizeControl
fontSizes
sizeFun
(
findNameInList
fontsize
fontSizes
)
[
ControlId
sizesId
]
)
(
atts
++[
ControlHMargin
0
0
,
ControlVMargin
0
0
])
#
selectfun
=
\
fontname
fontsize
ps
->
let
namesIdx
=
findNameInList
fontname
fontNames
sizesIdx
=
findNameInList
fontsize
fontSizes
#
selectfun
=
\
fontname
fontsize
ps
->
let
namesIdx
=
findNameInList
fontname
fontNames
sizesIdx
=
findNameInList
fontsize
fontSizes
in
appPIO
(
selectPopUpControlItem
sizesId
sizesIdx
o
selectPopUpControlItem
namesId
namesIdx
)
ps
=
controlToHandles
control
ps
where
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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