theme: use regular borders for top bar buttons

- no need to abuse image assets.
- big thanks to carlos for making it possible.
This commit is contained in:
Jakub Steiner 2014-10-29 14:48:20 +01:00 committed by Florian Müllner
parent 6bc222f37b
commit 068ebbf2a6
4 changed files with 15 additions and 83 deletions

View file

@ -24,7 +24,6 @@
<file>page-indicator-inactive.svg</file>
<file>page-indicator-checked.svg</file>
<file>page-indicator-hover.svg</file>
<file>panel-button-border.svg</file>
<file>process-working.svg</file>
<file>running-indicator.svg</file>
<file>source-button-border.svg</file>