A fork of the Materia GTK theme.

By using this site, you agree to have cookies stored on your device, strictly for functional purposes, such as storing your session and preferences.

Dismiss

gnome-shell: Follow upstream changes for new overlays

https://gitlab.gnome.org/GNOME/gnome-shell/-/commit/c5634335b04133f3c0e84aa3c8081c5fcc57c7fd https://gitlab.gnome.org/GNOME/gnome-shell/-/commit/9b22f6183feed55c10d888c1b296b200396dc540

roundabout,
created on Tuesday, 15 September 2020, 16:47:06 (1600188426), received on Sunday, 11 May 2025, 13:22:55 (1746969775)
Author identity: nana-4 <hnmaigo@gmail.com>

a7135890b4182cb9553b84745565b2863fa4b92e

src/gnome-shell/sass/components/overview/_window-picker.scss

@@ -37,7 +37,10 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // Close button
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            .window-close {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          -shell-close-overlap: $medium-size / 2;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          @if $version <= 3.36 {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            -shell-close-overlap: $medium-size / 2;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              // FIXME: unless disable the transition, button will distort when hovering
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              // transition-duration: $duration;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              height: $medium-size;