From 000fa5232171eb8d58bcb187d4f61b3653125f2b Mon Sep 17 00:00:00 2001 From: Sven Efftinge Date: Wed, 8 May 2019 21:59:52 -0700 Subject: [PATCH] use library icon from create.arduino --- .../src/browser/library/library-list-widget.tsx | 2 +- .../src/browser/style/library-tab-icon.svg | 7 +++++++ arduino-ide-extension/src/browser/style/list-widget.css | 5 +++++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 arduino-ide-extension/src/browser/style/library-tab-icon.svg diff --git a/arduino-ide-extension/src/browser/library/library-list-widget.tsx b/arduino-ide-extension/src/browser/library/library-list-widget.tsx index d81e93f9..4c7d07eb 100644 --- a/arduino-ide-extension/src/browser/library/library-list-widget.tsx +++ b/arduino-ide-extension/src/browser/library/library-list-widget.tsx @@ -9,7 +9,7 @@ export class LibraryListWidget extends ListWidget { return { id: LibraryListWidget.WIDGET_ID, title: LibraryListWidget.WIDGET_LABEL, - iconClass: 'fa fa-book' // TODO: find a better icon + iconClass: 'library-tab-icon' } } diff --git a/arduino-ide-extension/src/browser/style/library-tab-icon.svg b/arduino-ide-extension/src/browser/style/library-tab-icon.svg new file mode 100644 index 00000000..78838a42 --- /dev/null +++ b/arduino-ide-extension/src/browser/style/library-tab-icon.svg @@ -0,0 +1,7 @@ + + + + + + + \ No newline at end of file diff --git a/arduino-ide-extension/src/browser/style/list-widget.css b/arduino-ide-extension/src/browser/style/list-widget.css index 2a78cae5..eb5ac456 100644 --- a/arduino-ide-extension/src/browser/style/list-widget.css +++ b/arduino-ide-extension/src/browser/style/list-widget.css @@ -1,3 +1,8 @@ +.library-tab-icon { + -webkit-mask: url('library-tab-icon.svg'); + mask: url('library-tab-icon.svg'); +} + .arduino-list-widget { color: var(--theia-ui-font-color1); }