1912 			case '4' | WKC_CTRL:

  1912 			case '4' | WKC_CTRL:

  1913 			case '5' | WKC_CTRL:

  1913 			case '5' | WKC_CTRL:

  1914 			case '6' | WKC_CTRL:

  1914 			case '6' | WKC_CTRL:

  1915 			case '7' | WKC_CTRL:

  1915 			case '7' | WKC_CTRL:

  1916 			case '8' | WKC_CTRL:

  1916 			case '8' | WKC_CTRL:

  1917 				/* Transparency toggle hot keys */

  1918 				/* Transparency toggle hot keys */

  1918 				ToggleTransparency((TransparencyOption)(e->we.keypress.keycode - ('1' | WKC_CTRL)));

  1919 				ToggleTransparency((TransparencyOption)(e->we.keypress.keycode - ('1' | WKC_CTRL)));

  1919 				MarkWholeScreenDirty();

  1920 				MarkWholeScreenDirty();

  1920 				break;

  1921 				break;

  1921 

  1922