diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2018-10-17 18:35:24 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-10-27 12:02:01 +0200 |
| commit | 7386004c60542d31ade829c1eae1f6086b8317fc (patch) | |
| tree | ac7594e4347915337511c23978d52ca116f39e4a /gui/designwidget.h | |
| parent | 69b9aaba9d06c3fc0df8a25f9a18bbaab8dfe61a (diff) | |
| download | nextpnr-7386004c60542d31ade829c1eae1f6086b8317fc.tar.gz nextpnr-7386004c60542d31ade829c1eae1f6086b8317fc.tar.bz2 nextpnr-7386004c60542d31ade829c1eae1f6086b8317fc.zip | |
make grid cover device only, do not zoom in if there are no elements
Diffstat (limited to 'gui/designwidget.h')
0 files changed, 0 insertions, 0 deletions