GitLab

Fixed ui class in `interactRW` UI updates.

See merge request !538

'interact' class attribute was not set on the replacement ui. This led
to occasional weird behavior in the UI (mostly with lists that do full
replacements).

Resolve "parametrisedDynamicEditor loses focus, changes UI"

Closes #434

See merge request !537

of copyFile` by 'SF'.copyFile and conversions from OSError to String.

use copyFile instead of manually copying in Extension.File

Closes #437

See merge request !536

Do not set default CSS --control-height on multiple select boxes

See merge request !535

Make the Task type abstract

Closes #435

See merge request !532

Inputs are forced to have the same height in all browsers by these rules
for the case that they are displayed in a row. For multiple select boxes
this does not make much sense, as they are not typically used in a row.
It is usually more convenient to have more space to be able to see more
options. Applications can override this of course.

Centralize task teardown: move clearTaskSDSRegistrations and clearEventsFor into apTask for DestroyEvent and ServerInterruptedEvent

This allows us to centralize teardown.

Fix MemoryLeaks test

See merge request !533

Previously, we measured the size of the entire IWorld to check if memory
usage increased. This gives flaky results, because it includes share
names. Share names in these examples include TaskIds, which are
incremented, so slowly the share names become bigger. Using
copy_to_string, strings are padded to 4 or 8 bytes, depending on the
platform (32-bit or 64-bit). Because the share names also include the
path, the tests could fail on some systems in some paths, but not on
others (although the tests were always more likely to fail on 32-bit
systems).

With this commit, we measure the size of the share *values* ignoring
their names. Because `Map` is fully strict, the fold does not alter
evaluation order and this is safe.

Resolve "Possible memory leak"

Closes #384

See merge request !437

Use a newly built web resource collector in CI

Closes #424

See merge request !531

Add clearEventsOf to be able to remove outdated TaskIds from a RefreshEvent during the evaluation of a task (fixes a memory leak in which the RefreshEvent would grow)

Expand documentation of SDSIdentityHash to explain why gText/GraphCopy cannot be used

See merge request !529

Remove deprecated conversion functions of JSVal

See merge request !530

Move gHash to Platform

Closes #433

See merge request !528

Derive gHash for EUR, USD and URL

See merge request !527

There was mixed indentation, lines ending with whitespace and tabs
within a single line.

These should now be removed.

fix html view of dynamic editor list constructors with empty list as argument

See merge request !526