view etc/toolbar/news-up.xpm @ 5912:47ffa085a9ad

Fix a bug when passing a float to truncate and giving a bignum result. src/ChangeLog addition: 2015-05-10 Aidan Kehoe <kehoea@parhasard.net> * floatfns.c (truncate_one_float): Fix a bug here when double_to_integer() (and previously float_to_int()) returned a bignum; this was silently treated as a fixnum, giving consistently incorrect remainders and less consistently-incorrect but still buggy divisors. tests/ChangeLog addition: Check that a bug when supplying #'truncate with one float that rounds to a bignum, has been fixed.
author Aidan Kehoe <kehoea@parhasard.net>
date Sun, 10 May 2015 23:55:41 +0100
parents 7910031dd78a
children
line wrap: on
line source

/* XPM */

/* This file is part of XEmacs.

XEmacs is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your
option) any later version.

XEmacs is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with XEmacs.  If not, see <http://www.gnu.org/licenses/>. */

static char * news_xpm[] = {
"28 28 5 1",
"X	c Gray75 s backgroundToolBarColor",
"o	c black",
"O	c white",
"+	c gray60",
"@	c gray",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXooooooooooXXXXX",
"XXXooooooooooOOOoOOOoOOoXXXX",
"XXoooOOOoOoooOoOoOoOOoOo++XX",
"XXo@oOOooOOooOooOooOooOOo++X",
"oo@o@oOOOOOOOOOOOOOOOOOOOo+X",
"o@@o@oOooooooooooooooOooOo++",
"oo@o@oOOOOOOOOOOOOOOOOOOOOo+",
"oo@@o@oOoOoOoOoooOoOoooooOo+",
"o@o@o@oOOoOooOOOOOOoOooOooOo",
"ooo@@o@oOoooooOoOOooOoooooOo",
"Xo@o@o@oOOooooOOOOOOOOoOooOo",
"XXoo@@o@oOoooooOOooooOoooooo",
"XXo@o@o@oOOooOooOooOoOoooOOo",
"XXXoo@@o@oOoOoooOooooOooOooo",
"XXXoXo@o@oOoooOoOooooOoooo++",
"XXXXoXoo@oOoOooooooooo++++++",
"XXXXXooooooooo++++++++++++++",
"XXXXXXX++++++++++++++++++XXX",
"XXXXXXXX+++++++++XXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX",
"XXXXXXXXXXXXXXXXXXXXXXXXXXXX"};