view gtk/minimize.xpm @ 2045:cb195d76de8e

Win: Make HTML_RESULT event match other platforms and disable dev tools when not DEBUG. When javascript_run() does not have a result other platforms return a NULL pointer, but Edge Chromium returns a string "null"; this change checks for "null" and makes it a NULL pointer instead. This may cause problems when a "null" string result is the expected result. Additionally disable developer tools for the HTML widget when DEBUG is not defined when compiling.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Mon, 25 Nov 2019 04:47:43 +0000
parents b3404a94a15d
children
line wrap: on
line source

/* XPM */
static char * minimize_xpm[] = {
/* width height num_colors chars_per_pixel */
"15 15 5 1",
/* colors */
" 	c white",
".	c #5f5f5f",
"X	c gray75",
"o	c gray70",
"O	c black",
/* pixels */
"              .",
" XXXXXXXXXXXX..",
" XooooooooooX..",
" XooooooooooX..",
" XooooooooooX..",
" XoooOOOOoooX..",
" XoooOOOOoooX..",
" XoooOOOOoooX..",
" XoooOOOOoooX..",
" XooooooooooX..",
" XooooooooooX..",
" XooooooooooX..",
" XXXXXXXXXXXX..",
" ..............",
"..............."};