added keyboard-mapping refresh
This commit is contained in:
		
							parent
							
								
									4182daa61f
								
							
						
					
					
						commit
						e1f58c69ed
					
				| 
						 | 
					@ -173,6 +173,8 @@
 | 
				
			||||||
		    (wm-iconify-window wm window)
 | 
							    (wm-iconify-window wm window)
 | 
				
			||||||
		    (warn "unmanaged window wants to be iconified"
 | 
							    (warn "unmanaged window wants to be iconified"
 | 
				
			||||||
			  window))))))
 | 
								  window))))))
 | 
				
			||||||
 | 
					     ((mapping-event? xevent)
 | 
				
			||||||
 | 
					      (refresh-keyboard-mapping xevent))
 | 
				
			||||||
     )))
 | 
					     )))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
(define (do-split root-wm orientation new-wm)
 | 
					(define (do-split root-wm orientation new-wm)
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue