better formatting of indexes

This commit is contained in:
hneemann 2018-02-19 19:56:57 +01:00
parent c0d09097c9
commit d695e68b17

View File

@ -218,7 +218,7 @@ public final class GraphicsFormatter {
dy = var.dy;
int delta = var.dy / 3;
int ofs = var.dy / 6;
int ofs = var.dy / 8;
if (superScript != null) {
superScript.x = var.dx;
superScript.y = -delta - ofs;