A fork of the Materia GTK theme.

Important information: Google announced that, from September 2026, Android devices will require ALL apps to be signed by Google, effectively leading to an iOS situation. Value your right to a computer that does what you want; do not tolerate this monopolistic practice! Contact me if you don't understand why it is bad. Click to learn more.

gtk/mate: Add missing highlight to #mate-menu

by roundabout, Saturday, 6 March 2021, 23:32:46 (1615073566), pushed by roundabout, Sunday, 11 May 2025, 13:22:57 (1746969777)

Author identity: nana-4 <hnmaigo@gmail.com>

3d63a54c49e9834860b34ea8b140253a4e5a4814

src/gtk/sass/apps/_mate.scss

@@ -289,6 +289,7 @@ na-tray-applet widget box widget {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            #mate-menu {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              // FIXME, does not work
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border: 1px solid divider($on-surface);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          box-shadow: inset 0 1px highlight($surface);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-clip: padding-box;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: $surface;