elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-13 14:48:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
752 Commits 1 Branch 0 Tags
Commit Graph

5 Commits

Author SHA1 Message Date
Felix Roos
29fceff9b3 handle edge case 2022-05-01 14:13:20 +02:00
Felix Roos
bdb5dabba5 patch holes in highlighting query span 
+ make sure disable-highlighting works again
 2022-05-01 11:33:25 +02:00
Felix Roos
d4607c68f7 highlight only events with onsets 2022-04-30 11:14:16 +02:00
Felix Roos
f6d128842a filter out inactive events 2022-04-29 21:56:15 +02:00
Felix Roos
fc9a9e33d2 use cm6 in tutorial 
+ move highlighting to hook
+ optimize tutorial loading time
 2022-04-29 16:27:23 +02:00