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-libraries
Commits
e090b81e
Commit
e090b81e
authored
May 06, 2008
by
Thomas van Noort
Browse files
Reverted two application specific changes
parent
6990626d
Changes
2
Hide whitespace changes
Inline
Side-by-side
libraries/iTasks/iTasksCombinators.icl
View file @
e090b81e
...
...
@@ -159,7 +159,7 @@ where
andTasks_mu
::
!
String
![(
Int
,
Task
a
)]
->
(
Task
[
a
])
|
iData
a
andTasks_mu
label
tasks
=
newTask
"andTasks_mu"
(
domu_andTasks
tasks
)
where
domu_andTasks
list
=
andTasks
[(
label
<+++
" "
<+++
i
,
i
@::
>
task
)
\\
(
i
,
task
)
<-
list
]
domu_andTasks
list
=
andTasks
[(
label
<+++
" "
<+++
i
,
i
@::
task
)
\\
(
i
,
task
)
<-
list
]
// ******************************************************************************************************
// Timer Tasks ending when timed out
...
...
libraries/iTasks/iTasksHtmlSupport.icl
View file @
e090b81e
...
...
@@ -67,7 +67,7 @@ mkTaskButtons :: !Bool !String !Int !TaskNr !Options ![String] !*HSt -> (!(!Int,
mkTaskButtons
vertical
myid
userId
tasknr
info
btnnames
hst
#
btnsId
=
iTaskId
userId
tasknr
(
myid
<+++
"genBtns"
)
#
myidx
=
length
btnnames
|
myidx
==
1
=
((
0
,[],
[]
),
hst
)
// no task button if there is only one task to choose from
//
| myidx == 1 = ((0,[],
""
),hst) // no task button if there is only one task to choose from
#
(
chosen
,
hst
)
=
SelectStore
(
myid
,
myidx
)
tasknr
info
id
hst
// which choice was made in the past
#
(
buttons
,
hst
)
=
SelectButtons
Init
btnsId
info
(
chosen
,
btnnames
)
hst
// create buttons
#
(
chosen
,
hst
)
=
SelectStore
(
myid
,
myidx
)
tasknr
info
buttons
.
value
hst
// maybe a new button was pressed
...
...
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