Smart draw layout - fix 2038420

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Smart draw layout - fix 2038420 #111

Closed mtygesen closed 12 months ago

mtygesen commented 1 year ago

Fixes: https://bugs.launchpad.net/tapaal/+bug/2038420

Increased preferred width of smart draw dialog with 100
Added scrollbar for operating systems that still allow resizing after setResizable(false) is set

yrke commented 12 months ago

@mtygesen Just for the future, its nice if you add the bug/feature number to all commits. Eg like: (#1234), for launchpad bugs you can use (lp:1234), it makes it easier to look at in the history. Git is not great at history :). See https://github.com/TAPAAL/TAPAAL/wiki/Development-Flow#commiting