mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2024-11-16 19:58:26 +02:00
eeshow/Makefile, gui/sheet.c: grow icons from 16 to 20 pixels reduce padding
This commit is contained in:
parent
72a84bb29a
commit
c8dfe1c4f6
@ -68,8 +68,8 @@ gui/help.c: help.inc
|
||||
clean::
|
||||
rm -f help.inc
|
||||
|
||||
icons/%.hex: icons/%.fig
|
||||
$(BUILD) fig2dev -L png -S 4 -Z 0.48 $< | \
|
||||
icons/%.hex: icons/%.fig Makefile
|
||||
$(BUILD) fig2dev -L png -S 4 -Z 0.60 $< | \
|
||||
convert - -transparent white - | \
|
||||
hexdump -v -e '/1 "0x%x, "' >$@; \
|
||||
[ "$${PIPESTATUS[*]}" = "0 0 0" ] || { rm -f $@; exit 1; }
|
||||
|
@ -198,6 +198,7 @@ static void add_delta(struct gui_ctx *ctx)
|
||||
style = overlay_style_default;
|
||||
if (ctx->old_hist && ctx->diff_mode == diff_delta)
|
||||
style.frame = RGBA(0, 0, 0, 1);
|
||||
style.pad = 4;
|
||||
overlay_style(over, &style);
|
||||
if (use_delta)
|
||||
overlay_icon(over, icon_delta);
|
||||
|
Loading…
Reference in New Issue
Block a user