Right now, when zooming, the position of the state rectangles is corrected so that they seem to remain in the exact same spot as we zoom (while the pane size changes). This was fixed in #5.
The same correction should be applied to other UI layers, like labels and arrows. Labels for instance should be repositioned, but not stretched, we want the font to remain the same.
Right now, when zooming, the position of the state rectangles is corrected so that they seem to remain in the exact same spot as we zoom (while the pane size changes). This was fixed in #5.
The same correction should be applied to other UI layers, like labels and arrows. Labels for instance should be repositioned, but not stretched, we want the font to remain the same.