From b7a9619c6fb92e167790da615ed8fa257e498679 Mon Sep 17 00:00:00 2001 From: Oliver Hamlet Date: Wed, 8 Jun 2016 06:42:23 +0100 Subject: [PATCH] Add floating label and placeholder to content filter This makes it match the conflict filter dropdown's style, and provides more meaningful information to the user. --- src/gui/html/index.html | 2 +- src/gui/html/js/translateStaticText.js | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/gui/html/index.html b/src/gui/html/index.html index 96ce7370..36db7d4b 100644 --- a/src/gui/html/index.html +++ b/src/gui/html/index.html @@ -200,7 +200,7 @@ Hide all plugin messages Hide inactive plugins Hide messageless plugins - + Press Enter or click outside the input to set the filter.
No plugin selected
diff --git a/src/gui/html/js/translateStaticText.js b/src/gui/html/js/translateStaticText.js index 1cd6eae3..ae144aba 100644 --- a/src/gui/html/js/translateStaticText.js +++ b/src/gui/html/js/translateStaticText.js @@ -190,7 +190,8 @@ document.getElementById('sidebarTabs').firstElementChild.textContent = l10n.translate('Plugins'); document.getElementById('sidebarTabs').firstElementChild.nextElementSibling.textContent = l10n.translate('Filters'); document.getElementById('filters').querySelector('paper-tooltip[for=contentFilter]').textContent = l10n.translate('Press Enter or click outside the input to set the filter.'); - document.getElementById('contentFilter').label = l10n.translate('Filter content'); + document.getElementById('contentFilter').label = l10n.translate('Show only plugins with cards that contain'); + document.getElementById('contentFilter').placeholder = l10n.translate('No text specified'); /* Filters */ document.getElementById('hideVersionNumbers').textContent = l10n.translate('Hide version numbers');