aboutsummaryrefslogtreecommitdiffstats
path: root/gui/resources
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2018-07-11 16:20:33 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2018-07-11 16:20:33 +0200
commit77818f53bd7cb866d7d8404bb176b21c142f0fa2 (patch)
tree068f0022529b7e5a52e49bb77f7e1d24b2296c58 /gui/resources
parent09735694b28f9d1807dad5cb52232b4a40b48a77 (diff)
downloadnextpnr-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.pngbin0 -> 522 bytes
-rw-r--r--gui/resources/resultset_last.pngbin0 -> 524 bytes
-rw-r--r--gui/resources/resultset_next.pngbin0 -> 395 bytes
-rw-r--r--gui/resources/resultset_previous.pngbin0 -> 389 bytes
-rw-r--r--gui/resources/zoom.pngbin0 -> 692 bytes
5 files changed, 0 insertions, 0 deletions
diff --git a/gui/resources/resultset_first.png b/gui/resources/resultset_first.png
new file mode 100644
index 00000000..b03eaf8b
--- /dev/null
+++ b/gui/resources/resultset_first.png
Binary files differ
diff --git a/gui/resources/resultset_last.png b/gui/resources/resultset_last.png
new file mode 100644
index 00000000..8ec89478
--- /dev/null
+++ b/gui/resources/resultset_last.png
Binary files differ
diff --git a/gui/resources/resultset_next.png b/gui/resources/resultset_next.png
new file mode 100644
index 00000000..e252606d
--- /dev/null
+++ b/gui/resources/resultset_next.png
Binary files differ
diff --git a/gui/resources/resultset_previous.png b/gui/resources/resultset_previous.png
new file mode 100644
index 00000000..18f9cc10
--- /dev/null
+++ b/gui/resources/resultset_previous.png
Binary files differ
diff --git a/gui/resources/zoom.png b/gui/resources/zoom.png
new file mode 100644
index 00000000..908612e3
--- /dev/null
+++ b/gui/resources/zoom.png
Binary files differ