n1474335 bf0bd620f1 Tidied up Case Insensitive Regex ops

2019-12-20 15:54:39 +00:00

..

core

Tidied up Case Insensitive Regex ops

2019-12-20 15:54:39 +00:00

node

Linting changes

2019-11-14 08:55:27 +00:00

web

Operation elements now have decreasing z-index properties, meaning dropdowns do not get hidden. Fixes #925

2019-12-16 14:46:06 +00:00