Philip Zander a40f9261e9 
	
	
	gdkkeys-win32: Also ignore Ctrl + Shift (etc.) ... 
			Some Windows keymaps have bogus mappings for the Ctrl modifier. !4423  attempted
to fix this by ignoring the Ctrl layer, but that was not enough. We also need to
ignore combinations of Ctrl with other modifiers, i.e. Ctrl + Shift. For example,
Ctrl + Shift + 6 is mapped to the character 0x1E on a US keyboard (but it should
be treated as Ctrl + ^). Basically, always ignore Ctrl unless it is used in
conjunction with Alt, i.e. as part of AltGr.
Related issue: #4667  
		
	 
		2022-02-08 20:44:35 +01:00 
	 
	
	
		 
	
	
	
		
			
			
			
			
			
			2019-04-11 16:45:36 +02:00 
		 
	
		
			
			
			
			
			
			2015-04-29 21:12:14 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2016-02-11 03:44:47 +01:00 
		 
	
		
			
			
			
			
			
			2016-03-05 20:31:10 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-09-23 17:37:45 +02:00 
		 
	
		
			
			
			
			
			
			2015-12-22 09:31:56 +01:00 
		 
	
		
			
			
			
			
			
			2021-09-23 17:37:45 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-03 16:04:28 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-23 17:37:45 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-05 23:35:29 +00:00 
		 
	
		
			
			
			
			
			
			2022-01-03 15:08:58 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-03 16:04:28 +02:00 
		 
	
		
			
			
			
			
			
			2021-12-08 22:46:52 +01:00 
		 
	
		
			
			
			
			
			
			2021-12-08 22:46:52 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-11-13 19:41:58 +01:00 
		 
	
		
			
			
			
			
			
			2021-12-08 22:44:17 +01:00 
		 
	
		
			
			
			
			
			
			2016-11-07 15:38:02 +08:00 
		 
	
		
			
			
			
			
			
			2021-09-06 19:36:14 +08:00 
		 
	
		
			
			
			
			
			
			2021-09-06 19:36:13 +08:00 
		 
	
		
			
			
			
			
			
			2021-07-03 16:04:28 +02:00 
		 
	
		
			
			
			
			
			
			2021-12-09 12:29:15 +01:00 
		 
	
		
			
			
			
			
			
			2022-02-08 20:44:35 +01:00 
		 
	
		
			
			
			
			
			
			2022-01-10 03:34:59 +01:00 
		 
	
		
			
			
			
			
			
			2022-01-09 12:36:32 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-03 16:04:28 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-23 17:37:54 +02:00 
		 
	
		
			
			
			
			
			
			2020-04-26 20:40:57 +00:00 
		 
	
		
			
			
			
			
			
			2022-01-09 12:36:47 +01:00 
		 
	
		
			
			
			
			
			
			2020-04-26 20:40:57 +00:00 
		 
	
		
			
			
			
			
			
			2016-11-11 21:03:46 +08:00 
		 
	
		
			
			
			
			
			
			2019-11-18 13:43:42 +00:00 
		 
	
		
			
			
			
			
			
			2017-11-30 04:17:26 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2016-04-27 23:18:16 -04:00 
		 
	
		
			
			
			
			
			
			2015-04-29 21:12:14 +00:00 
		 
	
		
			
			
			
			
			
			2015-10-08 18:07:49 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2021-11-13 19:41:58 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2015-04-29 21:12:14 +00:00 
		 
	
		
			
			
			
			
			
			2016-08-04 16:37:19 +00:00 
		 
	
		
			
			
			
			
			
			2019-03-22 14:52:18 +00:00 
		 
	
		
			
			
			
			
			
			2019-03-22 14:52:18 +00:00 
		 
	
		
			
			
			
			
			
			2017-11-25 15:44:40 +00:00 
		 
	
		
			
			
			
			
			
			2016-04-27 23:18:16 -04:00 
		 
	
		
			
			
			
			
			
			2015-04-29 21:12:14 +00:00 
		 
	
		
			
			
			
			
			
			2015-04-29 21:12:14 +00:00 
		 
	
		
			
			
			
			
			
			2021-11-13 14:51:49 +00:00 
		 
	
		
			
			
			
			
			
			2021-09-06 19:36:13 +08:00 
		 
	
		
	
		
			
			
			
			
			
			2021-12-21 16:38:17 +08:00 
		 
	
		
			
			
			
			
			
			2021-12-08 22:44:17 +01:00 
		 
	
		
			
			
			
			
			
			2021-12-08 22:44:17 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2021-12-28 00:50:17 +01:00