From 9c7335cb3587cb7b5d7bb59b9f74920ddbf6a01a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 19 Mar 2013 17:04:29 +0100
Subject: [PATCH] no 'Hide' or 'Show' in plugin title

---
 unfold/templates/plugin.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/unfold/templates/plugin.html b/unfold/templates/plugin.html
index 7a09e427..171961ec 100644
--- a/unfold/templates/plugin.html
+++ b/unfold/templates/plugin.html
@@ -3,11 +3,11 @@
 <div class='plugin-toggle{% if need_spin %} need-spin{% endif %}' id='toggle-{{ domid }}'>
 {% if togglable %}
   {% if not toggled %}
-<p id='show-{{ domid }}' class='plugin-show'><i class="icon-hand-right"></i> Show {{ title }} ({{ classname }})</p>
-<p id='hide-{{ domid }}' class='plugin-hide' style='display:none;'><i class="icon-hand-down"></i> Hide {{ title }} ({{ classname }})</p>
+<p id='show-{{ domid }}' class='plugin-show'><i class="icon-hand-right"></i>{{ title }} ({{ classname }})</p>
+<p id='hide-{{ domid }}' class='plugin-hide' style='display:none;'><i class="icon-hand-down"></i>{{ title }} ({{ classname }})</p>
   {% else %}
-<p id='show-{{ domid }}' class='plugin-show' style='display:none;'><i class="icon-hand-right"></i> Show {{ title }} ({{ classname }})</p>
-<p id='hide-{{ domid }}' class='plugin-hide'><i class="icon-hand-down"></i> Hide {{ title }} ({{ classname }})</p>
+<p id='show-{{ domid }}' class='plugin-show' style='display:none;'><i class="icon-hand-right"></i>{{ title }} ({{ classname }})</p>
+<p id='hide-{{ domid }}' class='plugin-hide'><i class="icon-hand-down"></i>{{ title }} ({{ classname }})</p>
   {% endif %}{# toggled #}
 {% endif %}{# togglable #}
 {% endif %}{# visible #}
-- 
2.43.0