From 1e13572283d0543043c8d8c357713d414ad76d93 Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Sat, 20 Aug 2016 09:30:38 -0300 Subject: [PATCH] eeshow/gui/sheet.c (add_delta): show inverted greek delta when in delta mode --- eeshow/gui/sheet.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/eeshow/gui/sheet.c b/eeshow/gui/sheet.c index 6f77756..570315a 100644 --- a/eeshow/gui/sheet.c +++ b/eeshow/gui/sheet.c @@ -198,7 +198,10 @@ static void add_delta(struct gui_ctx *ctx) if (ctx->old_hist && ctx->diff_mode == diff_delta) style.frame = RGBA(0, 0, 0, 1); overlay_style(over, &style); - overlay_text(over, "Δ"); + if (use_delta) + overlay_text(over, "∇"); + else + overlay_text(over, "Δ"); } @@ -524,6 +527,7 @@ static void sheet_key(void *user, int x, int y, int keyval) case GDK_KEY_a: use_delta = !use_delta; + do_revision_overlays(ctx); redraw(ctx); break;