Closed numeroteca closed 11 years ago
After last commits, areas can't be resized while coding. They can be moved, though.
looking into it - the JS code is hairy!
Check coding.js renderHighlightedAreas(). That's probably where the change needs to be made.
After last commits, areas can't be resized while coding. They can be moved, though.