Problem: Screen isn't always updated right away.
Solution: Adjust #ifdef: Call out_flush() when not running the GUI.
* flicker. */
out_flush_cursor(FALSE, FALSE);
else
-#else
- out_flush();
#endif
+ out_flush();
--redrawing_for_callback;
}
{
ScreenLinesUC[off + col] = fill_fold;
ScreenLinesC[0][off + col] = 0;
- ScreenLines[off + col] = 0x80; /* avoid storing zero */
+ ScreenLines[off + col] = 0x80; /* avoid storing zero */
}
else
{
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 1476,
/**/
1475,
/**/