8
0
Szymon Kupś 883da0ae01 Swithed delete handling from key presses to delete event triggered by DeleteObserver. vor 8 Jahren
..
highlightstack.js 333fcaf77e Changed how removeHighlight is handled according do changes in engine. vor 8 Jahren
utils.js 1adf43e56c Fixed setting contenteditable attribute to string instead of boolean. vor 8 Jahren
widget.js 883da0ae01 Swithed delete handling from key presses to delete event triggered by DeleteObserver. vor 8 Jahren