diff options
author | 2016-04-29 17:01:05 +0200 | |
---|---|---|
committer | 2016-04-29 17:01:05 +0200 | |
commit | bd5da52c6c625cb4559dd92051384383473ecb1b (patch) | |
tree | f01ca5df53644954a356a48f3c1deaab3735c83a /configure.ml | |
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 'configure.ml')
0 files changed, 0 insertions, 0 deletions