diff options
-rw-r--r-- | gui/sheet.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gui/sheet.c b/gui/sheet.c index 6f77756..570315a 100644 --- a/gui/sheet.c +++ b/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; |