# HG changeset patch
# User Santeri Piippo
# Date 1515663700 -7200
# Node ID 29dc03eceb5fffddef0ee7f8abb8981e804a9399
# Parent  04af56fa8ce6c8a9ebfa8a3eddc44049a55f6c5a
encoded division slash

diff -r 04af56fa8ce6 -r 29dc03eceb5f src/mainwindow.cpp
--- a/src/mainwindow.cpp	Thu Jan 11 00:39:00 2018 +0200
+++ b/src/mainwindow.cpp	Thu Jan 11 11:41:40 2018 +0200
@@ -1179,7 +1179,7 @@
 	int denominator = ringToolDivisions();
 	Simplify(numerator, denominator);
 	ui.ringToolSegmentsLabel->setText(format(
-		"<sup>%1</sup>∕<sub>%2</sub>",
+		"<sup>%1</sup>\u2215<sub>%2</sub>",
 		numerator,
 		denominator
 	));