gtk3: Fix and add comments for color vars

src/gtk-3.0/3.22/sass/_colors.scss

@@ -50,7 +50,7 @@ $darker_bg_color: if($variant == 'light', $grey_200, fade($blue_grey_900));

                                
                                
                                
                            
                                
                                    
                                        
                                            50  
                                            $titlebar_bg_color:     if($titlebar == 'dark', if($variant == 'light', $blue_grey_700, $blue_grey_800), $grey_300);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            51  
                                            $alt_titlebar_bg_color: if($titlebar == 'dark', $blue_grey_800, mix($grey_300, $grey_400, 50%));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            52  
                                            $panel_bg_color:        if($titlebar == 'dark', $blue_grey_900, rgba($black, $middle_opacity));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        53 -
                                        $unity_panel_bg_color:  if($titlebar == 'dark', $blue_grey_900, mix($grey_300, $grey_400, 50%));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        53 +
                                        $unity_panel_bg_color:  if($titlebar == 'dark', $blue_grey_900, mix($grey_300, $grey_400, 50%)); // translucent colors cannot be used for Unity and MATE panels
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            54  
                                            $alt_panel_bg_color:    rgba($black, $lower_opacity);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            55  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            56  
                                            $fill_color:      gtkalpha(currentColor, $lower_opacity);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -82,11 +82,11 @@ $border_color: if($variant == 'light', rgba($black, 0.12), rgba($bla

                                
                                
                                
                            
                                
                                    
                                        
                                            82  
                                            $highlight_color:          if($variant == 'light', rgba($white, 0.4),  rgba($white, 0.1));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            83  
                                            $titlebar_highlight_color: if($titlebar == 'dark', rgba($white, 0.1),  rgba($white, 0.4));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            84  
                                            $unity_highlight_color:    if($titlebar == 'dark', rgba($white, 0.1),  rgba($white, 0.2));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        85 -
                                        $alt_highlight_color:      rgba($white, 0.2);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        85 +
                                        $alt_highlight_color:      rgba($white, 0.2); // for selection-mode headerbar which colored with primary color
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            86  
                                            $titlebar_indicator_color: if($titlebar == 'dark', currentColor, $primary_color);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            87  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        88 -
                                        // FIXME: @placeholder_text_color should really use $tertiary_fg_color, but
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        89 -
                                        // doesn't work translucent colors here. So we use an opaque color instead.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        88 +
                                        // FIXME: gtk's @placeholder_text_color API really should use $secondary_fg_color,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        89 +
                                        // but it doesn't work with translucent colors. So we use opaque colors instead.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            90  
                                            $placeholder_text_color: if($variant == 'light',
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            91  
                                                                        mix($black, $base_color, percentage(0.54)),
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            92  
                                                                        mix($white, $base_color, percentage(0.7)));