Keith Hubbard 2bdf9e20a5 
	
	
	command: support repeating keyboard mappings ... 
			Repeating mappings are created using the -repeat option to the map
command:
    % riverctl map normal $mod+Mod1 K -repeat move up 10
- repeating is only supported for key press (not -release) mappings
- unlike -release, -repeat does not create distinct mappings: mapping a
  key with -repeat will replace an existing bare mapping and vice-versa
Resolves  #306  
		
	 
		2021-08-15 14:49:11 +02:00 
	 
	
	
		 
	
	
	
		
			
			
			
			
			
			2021-08-15 14:49:11 +02:00 
		 
	
		
			
			
			
			
			
			2020-12-13 22:53:33 +01:00 
		 
	
		
			
			
			
			
			
			2021-06-13 10:37:36 -07:00 
		 
	
		
			
			
			
			
			
			2021-08-15 14:49:11 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-29 14:05:17 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-15 13:32:33 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-29 14:05:17 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-12 17:57:01 +00:00 
		 
	
		
			
			
			
			
			
			2021-07-12 17:57:01 +00:00 
		 
	
		
			
			
			
			
			
			2021-07-28 13:44:23 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-13 10:37:36 -07:00 
		 
	
		
			
			
			
			
			
			2021-08-10 21:54:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-15 14:49:11 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-12 21:18:26 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-24 14:14:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-25 22:30:47 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-20 10:48:11 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-25 01:22:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-15 14:49:11 +02:00 
		 
	
		
			
			
			
			
			
			2020-11-11 20:33:43 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-25 22:30:47 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-12 22:38:08 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-08 03:20:56 +00:00 
		 
	
		
			
			
			
			
			
			2020-12-13 22:53:33 +01:00 
		 
	
		
			
			
			
			
			
			2021-08-07 10:18:52 +00:00 
		 
	
		
			
			
			
			
			
			2021-08-12 22:38:08 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-15 14:49:11 +02:00 
		 
	
		
			
			
			
			
			
			2020-12-24 13:07:59 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-25 17:17:45 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-13 15:06:00 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-28 13:44:23 +02:00 
		 
	
		
			
			
			
			
			
			2020-11-11 20:33:43 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-31 00:57:23 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-08 18:25:43 +00:00 
		 
	
		
			
			
			
			
			
			2021-08-10 21:54:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-08 06:00:15 +00:00 
		 
	
		
			
			
			
			
			
			2021-07-25 01:22:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-28 13:44:23 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-10 21:54:36 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-08 03:20:56 +00:00 
		 
	
		
			
			
			
			
			
			2021-08-10 21:54:36 +02:00