From bd5da52c6c625cb4559dd92051384383473ecb1b Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Fri, 29 Apr 2016 17:01:05 +0200 Subject: Reduce ide/coq.png to 256x256. Commit 1774a87 increased the file to 1024x1024. This had two adverse consequences. First, the icon was too large to be used as a window icon ("gdk_window_set_icon_list: icons too large"), so Coqide 8.5 no longer had an icon at runtime. Second, the file was also used in the About message box, which was thus exceeding the display size of any reasonably-priced device. This commit reverts the file to a saner size (still larger than the original 66x100 picture). --- ide/coq.png | Bin 71924 -> 12907 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'ide/coq.png') diff --git a/ide/coq.png b/ide/coq.png index cccd5a9a1..136bfdd5f 100644 Binary files a/ide/coq.png and b/ide/coq.png differ -- cgit v1.2.3