- Update the render area after the user draw a thin zoombox not enough big for a zoom. Otherwise, the thin zoombox is not hidden when the user release the mouse button. [Others] - Update the 'Trace generation' web page. - Update the web_send.sh script. To launch it, you MUST be on the tools/ folder.
Showing with 3 additions and 0 deletions