diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2018-07-11 16:20:33 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-07-11 16:20:33 +0200 |
commit | 77818f53bd7cb866d7d8404bb176b21c142f0fa2 (patch) | |
tree | 068f0022529b7e5a52e49bb77f7e1d24b2296c58 /gui/resources | |
parent | 09735694b28f9d1807dad5cb52232b4a40b48a77 (diff) | |
download | nextpnr-77818f53bd7cb866d7d8404bb176b21c142f0fa2.tar.gz nextpnr-77818f53bd7cb866d7d8404bb176b21c142f0fa2.tar.bz2 nextpnr-77818f53bd7cb866d7d8404bb176b21c142f0fa2.zip |
GUI preparation for search and browse history
Diffstat (limited to 'gui/resources')
-rw-r--r-- | gui/resources/resultset_first.png | bin | 0 -> 522 bytes |
-rw-r--r-- | gui/resources/resultset_last.png | bin | 0 -> 524 bytes |
-rw-r--r-- | gui/resources/resultset_next.png | bin | 0 -> 395 bytes |
-rw-r--r-- | gui/resources/resultset_previous.png | bin | 0 -> 389 bytes |
-rw-r--r-- | gui/resources/zoom.png | bin | 0 -> 692 bytes |
5 files changed, 0 insertions, 0 deletions
diff --git a/gui/resources/resultset_first.png b/gui/resources/resultset_first.png Binary files differnew file mode 100644 index 00000000..b03eaf8b --- /dev/null +++ b/gui/resources/resultset_first.png diff --git a/gui/resources/resultset_last.png b/gui/resources/resultset_last.png Binary files differnew file mode 100644 index 00000000..8ec89478 --- /dev/null +++ b/gui/resources/resultset_last.png diff --git a/gui/resources/resultset_next.png b/gui/resources/resultset_next.png Binary files differnew file mode 100644 index 00000000..e252606d --- /dev/null +++ b/gui/resources/resultset_next.png diff --git a/gui/resources/resultset_previous.png b/gui/resources/resultset_previous.png Binary files differnew file mode 100644 index 00000000..18f9cc10 --- /dev/null +++ b/gui/resources/resultset_previous.png diff --git a/gui/resources/zoom.png b/gui/resources/zoom.png Binary files differnew file mode 100644 index 00000000..908612e3 --- /dev/null +++ b/gui/resources/zoom.png |