{
DumpBrush_Small();
}
+
+ if (GetKeyModState() & (KMOD_Control | KMOD_Meta))
+ {
+ if (letter == 'x') // copy brush to clipboard (small size)
+ {
+ CopyBrushToClipboard_Small();
+ }
+ else if (letter == 'c') // copy brush to clipboard (normal size)
+ {
+ CopyBrushToClipboard();
+ }
+ else if (letter == 'v') // paste brush from Clipboard
+ {
+ CopyClipboardToBrush();
+ }
+ }
}
// special key shortcuts for all game modes
return;
}
- if (game_status == GAME_MODE_PLAYING && AllPlayersGone &&
+ if (game_status == GAME_MODE_PLAYING && game.all_players_gone &&
(key == KSYM_Return || key == setup.shortcut.toggle_pause))
{
GameEnd();
newbutton = ((joy & JOY_BUTTON) != 0);
#endif
- if (newbutton && AllPlayersGone)
+ if (newbutton && game.all_players_gone)
{
GameEnd();