dgtlmoon d0d191a7d1 VisualFilter - check previously set filters were set before highlighting

2022-11-19 17:37:51 +01:00

..

diff-overview.js

…

diff-render.js

Update visual text difference library, add option to ignore whitespace when viewing diff (#1137)

2022-11-19 15:08:27 +01:00

diff.min.js

Update visual text difference library, add option to ignore whitespace when viewing diff (#1137)

2022-11-19 15:08:27 +01:00

global-settings.js

…

jquery-3.6.0.min.js

…

limit.js

…

notifications.js

…

tabs.js

…

visual-selector.js

VisualFilter - check previously set filters were set before highlighting

2022-11-19 17:37:51 +01:00

watch-overview.js

UI feature - Basic checkbox/group operations (#861)

2022-08-18 14:48:21 +02:00

watch-settings.js

Notification - Reset defaults button should be on edit page only

2022-09-10 15:19:18 +02:00