Vectorart jsification
Gradual jsification in order to speed up things as discussed in #178 (closed). Note that this is a "stupid" search-and-replace JSification. It looks like this already makes one display faster by 10 ms.
Gradual jsification in order to speed up things as discussed in #178 (closed). Note that this is a "stupid" search-and-replace JSification. It looks like this already makes one display faster by 10 ms.
merged
mentioned in commit 949fefed