diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-04-29 17:01:05 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-04-29 17:01:05 +0200 |
commit | bd5da52c6c625cb4559dd92051384383473ecb1b (patch) | |
tree | f01ca5df53644954a356a48f3c1deaab3735c83a /ide/coq.png | |
parent | 016f2dc3aee608b149097cc08d0720227addc18a (diff) |
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).
Diffstat (limited to 'ide/coq.png')
-rw-r--r-- | ide/coq.png | bin | 71924 -> 12907 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/ide/coq.png b/ide/coq.png Binary files differindex cccd5a9a1..136bfdd5f 100644 --- a/ide/coq.png +++ b/ide/coq.png |