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-libraries
Commits
163eaa28
Commit
163eaa28
authored
Oct 10, 2006
by
Peter Achten
Browse files
*** empty log message ***
parent
1c091f0f
Changes
2
Hide whitespace changes
Inline
Side-by-side
libraries/htmlGEC/htmlHandler.icl
View file @
163eaa28
...
...
@@ -504,10 +504,8 @@ toBody :: (Form a) -> BodyTag
toBody
form
=
BodyTag
form
.
form
createDefault
::
a
|
gUpd
{|*|}
a
createDefault
=
hd
(
mkNewList
[])
where
mkNewList
_
=
snd
(
gUpd
{|*|}
(
UpdSearch
(
UpdC
"_Cons"
)
0
)
[])
// generates a new list with one element of required type
derive
gUpd
[]
createDefault
=
fromJust
(
snd
(
gUpd
{|*|}
(
UpdSearch
(
UpdC
"Just"
)
0
)
Nothing
))
derive
gUpd
Maybe
setCntr
::
InputId
*
HSt
->
*
HSt
setCntr
i
hst
=
{
hst
&
cntr
=
i
}
...
...
libraries/htmlGEC/htmlRefFormlib.icl
View file @
163eaa28
...
...
@@ -19,11 +19,9 @@ where
(==)(
Ref2
file1
)
(
Ref2
file2
)
=
file1
==
file2
ref2EditForm
::
!(
InIDataId
a
)
!(
InIDataId
(
Ref2
a
))
!*
HSt
->
(
Form
a
,!*
HSt
)
|
gForm
{|*|},
gUpd
{|*|},
gPrint
{|*|},
gParse
{|*|},
TC
a
ref2EditForm
(
inita
,
formida
)
(
initra
,
formidra
)
hst
ref2EditForm
(
inita
,
formida
)
(
_,{
ival
=
Ref2
refname
}
)
hst
|
refname
==
""
=
mkEditForm
(
Init
,
reuseFormId
formida
createDefault
)
hst
=
mkEditForm
(
inita
,{
formida
&
id
=
refname
})
hst
where
(
Ref2
refname
)
=
formidra
.
ival
|
otherwise
=
mkEditForm
(
inita
,{
formida
&
id
=
refname
})
hst
invokeRefEditor
::
(!(
InIDataId
b
)
!*
HSt
->
(
Form
d
,!*
HSt
))
(
InIDataId
b
)
!*
HSt
->
(
Form
b
,!*
HSt
)
invokeRefEditor
editor
(
init
,
formid
)
hst
...
...
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