Define default zoom level for formal engines
authorCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 19:40:55 +0000 (16:40 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 19:40:55 +0000 (16:40 -0300)
commit0cdeafb983a2dc596d3b8c96393d34ce9eb9c44b
treeb060c36041f19a0056dfe94b421816ac1deb2f47
parent32a50f48658d5250305a6a4ac8e738c93a44038f
Define default zoom level for formal engines
src/nmutil/gtkw.py