Since each seat has its own focus, do not destroy a workspace until it is no longer focused by any seat. This prevents seats from being forced to evacuate the workspace just because another seat switched focus away from itmaster
							parent
							
								
									3e33e1c76f
								
							
						
					
					
						commit
						acd3db4fe1
					
				
					Loading…
					
					
				
		Reference in new issue