Made it a bit easier to add new fields and/or change their order
Replaced some unneccessary if-else-statements
Added font size and stroke width settings to ROI inspector
Fixed(?) a problem with too small figure text/comment boxes
Added Touch-punch.js for mobile touch events
Bigger left & right panel drag handles for mobile
Make main page fit viewport width
Basic trunctation working
improved jsTree name truncation on resize
Truncate jsTree on load_node or panel resize
Tags page also auto-truncates jsTree
Use $.offset() to work out required truncation
Handle truncation in editinplace re-name
Remove old truncateNames()
Bugfix: Changing font size wasn't rendered on the fly
Prevent infinite while loop
Removing unnecessary <span> tags
Tweaks to drag-handles, ovoid overlap of scrollbar
sphinx-api: Generate skeleton docs
ROI_utils.py: Remove nonexistent TextI import