[diffoscope] 02/02: Use unicode chars for the +/- controls instead of hacky punctuation
Ximin Luo
infinity0 at debian.org
Tue May 30 19:06:23 CEST 2017
This is an automated email from the git hooks/post-receive script.
infinity0 pushed a commit to branch experimental
in repository diffoscope.
commit 9286f6e9875a71c556ff9ef3d3800cfdeab30cad
Author: Ximin Luo <infinity0 at debian.org>
Date: Tue May 30 18:57:26 2017 +0200
Use unicode chars for the +/- controls instead of hacky punctuation
---
diffoscope/presenters/html/html.py | 4 ++--
diffoscope/presenters/html/templates.py | 6 +++---
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/diffoscope/presenters/html/html.py b/diffoscope/presenters/html/html.py
index 7832cf9..c502fa2 100644
--- a/diffoscope/presenters/html/html.py
+++ b/diffoscope/presenters/html/html.py
@@ -452,7 +452,7 @@ def output_visual(print_func, visual, parents):
sources = parents + [visual.source]
print_func(u'<div class="difference">')
print_func(u'<div class="diffheader">')
- print_func(u'<div class="diffcontrol">[−]</div>')
+ print_func(u'<div class="diffcontrol">⊟</div>')
print_func(u'<div><span class="source">%s</span>'
% html.escape(visual.source))
anchor = escape_anchor('/'.join(sources[1:]))
@@ -486,7 +486,7 @@ def output_difference(difference, print_func, css_url, directory, parents):
print_func(u'<div class="difference">')
try:
print_func(u'<div class="diffheader">')
- diffcontrol = ("diffcontrol", u'[−]') if difference.has_children() else ("diffcontrol-nochildren", u'[∘]')
+ diffcontrol = ("diffcontrol", u'⊟') if difference.has_children() else ("diffcontrol-nochildren", u'⊡')
if difference.source1 == difference.source2:
print_func(u'<div class="%s">%s</div>' % diffcontrol)
print_func(u'<div><span class="source">%s</span>'
diff --git a/diffoscope/presenters/html/templates.py b/diffoscope/presenters/html/templates.py
index 0ee4ec2..207ae5c 100644
--- a/diffoscope/presenters/html/templates.py
+++ b/diffoscope/presenters/html/templates.py
@@ -126,7 +126,7 @@ HEADER = """<!DOCTYPE html>
display: none; /* currently, only available in html-dir output where jquery is enabled */
}
.diffoscope .diffcontrol-double {
- line-height: 200%%;
+ line-height: 250%%;
}
.diffoscope .colines {
width: 3em;
@@ -182,10 +182,10 @@ $(function() {
}
if (orig.is(":visible")) {
target.hide();
- control.text("[+]");
+ control.text("⊞");
} else {
target.show();
- control.text("[−]");
+ control.text("⊟");
}
});
diffcontrols.attr('title','shift-click to show/hide all children too.');
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/diffoscope.git
More information about the diffoscope
mailing list