Searched refs:saved_colordump (Results 1 – 4 of 4) sorted by relevance
3081 int saved_colordump=colorDump, saved_wheretoprint=whereToPrint; local3098 colorDump = saved_colordump;
6619 int saved_colordump=colorDump, watch_cursor=watchCursorOnMainWindow; local6637 colorDump = saved_colordump;7456 int saved_colordump=colorDump, consensed_already=FALSE, ok=TRUE; local7463 colorDump = saved_colordump;
2225 int saved_colordump=colorDump, saved_left=leftExportPixelTrim; local2290 colorDump = saved_colordump;7702 int saved_colordump=colorDump, saved_left=leftExportPixelTrim; local7745 colorDump = saved_colordump;
4937 int saved_colordump=colorDump, saved_wheretoprint=whereToPrint; in ExportXPixmapDeckToGIF() local4963 colorDump = saved_colordump; in ExportXPixmapDeckToGIF()