diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2019-12-20 15:25:10 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-12-20 15:25:10 +0100 |
commit | d399346de0f258a4871ce6e5162481586175f76d (patch) | |
tree | 3265f14b3ee0a397091347799635a42188474b16 /gui/resources | |
parent | a05954249a46f87a218aad7db6db28f2a02444ec (diff) | |
download | nextpnr-d399346de0f258a4871ce6e5162481586175f76d.tar.gz nextpnr-d399346de0f258a4871ce6e5162481586175f76d.tar.bz2 nextpnr-d399346de0f258a4871ce6e5162481586175f76d.zip |
Add options to enable/disable displayed elements
Diffstat (limited to 'gui/resources')
-rw-r--r-- | gui/resources/bel.png | bin | 0 -> 516 bytes |
-rw-r--r-- | gui/resources/group.png | bin | 0 -> 529 bytes |
-rw-r--r-- | gui/resources/pip.png | bin | 0 -> 367 bytes |
-rw-r--r-- | gui/resources/wire.png | bin | 0 -> 365 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/gui/resources/bel.png b/gui/resources/bel.png Binary files differnew file mode 100644 index 00000000..2aab6d46 --- /dev/null +++ b/gui/resources/bel.png diff --git a/gui/resources/group.png b/gui/resources/group.png Binary files differnew file mode 100644 index 00000000..2d508549 --- /dev/null +++ b/gui/resources/group.png diff --git a/gui/resources/pip.png b/gui/resources/pip.png Binary files differnew file mode 100644 index 00000000..7bd87ae8 --- /dev/null +++ b/gui/resources/pip.png diff --git a/gui/resources/wire.png b/gui/resources/wire.png Binary files differnew file mode 100644 index 00000000..5fa55d90 --- /dev/null +++ b/gui/resources/wire.png |