gtk: Set background-clip of treeview header buttons to padding-box

src/gtk/sass/_common-3.20.scss

@@ -1851,7 +1851,7 @@ treeview.view {

                                
                                
                                
                            
                                
                                    
                                        
                                            1851  
                                                  border-width: 1px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1852  
                                                  border-color: divider($on-surface);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1853  
                                                  border-radius: 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1854 -
                                              background-clip: border-box;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1854 +
                                              background-clip: padding-box;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1855  
                                                  color: hint($on-surface);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1856  
                                                  @include ink-color($on-surface, $button-style: "flat", $hover-alt: true);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1857  
                                                  @include list-item;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1875,7 +1875,7 @@ treeview.view {

                                
                                
                                
                            
                                
                                    
                                        
                                            1875  
                                                border-color: divider($on-surface);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1876  
                                                border-radius: 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1877  
                                                box-shadow: none;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1878 -
                                            background-clip: border-box;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1878 +
                                            background-clip: padding-box;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1879  
                                                background-color: $surface;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1880  
                                                color: $primary;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1881  
                                              }