Revert "GTK3: remove side marging of titlebuttons inside default-decoration headerbar"
This reverts commit 3fed386ccc44df1d2d6184c0fe94fa36bd1c435c.
This commit is contained in:
		
							parent
							
								
									4a6d8f422e
								
							
						
					
					
						commit
						a20697e1ce
					
				| @ -285,10 +285,7 @@ headerbar { | |||||||
|     button.titlebutton { |     button.titlebutton { | ||||||
|       min-height: 0; |       min-height: 0; | ||||||
|       min-width: 0; |       min-width: 0; | ||||||
| 
 |       margin: 0; | ||||||
|       &, &:last-child { |  | ||||||
|         margin: 0; |  | ||||||
|       } |  | ||||||
|     } |     } | ||||||
|   } |   } | ||||||
| } | } | ||||||
|  | |||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user
	 Daniel Ruiz de Alegría
						Daniel Ruiz de Alegría