Rainer Simon 2482d37bd9 Minor fix		2020-12-27 12:01:35 +01:00
..
Selection.js	Minor fix	2020-12-27 12:01:35 +01:00
SelectionHandler.js	Proper CSS class prefixing for editor	2020-09-22 14:22:17 +02:00
SelectionUtils.js	Bugfix: avoids stratification when making a selection that perfectly overlaps an annotation	2020-07-13 13:15:17 +02:00
index.js	Refactoring	2020-04-04 10:45:53 +02:00