switcher margin

main.py

@@ -430,8 +430,8 @@ class Kineboard(Gtk.Application):

                                
                                
                                
                            
                                
                                    
                                        
                                            430  
                                                    self.box.append(self.stack)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            431  
                                                    layouts = itertools.chain.from_iterable((f for f in path.iterdir() if f.is_file()) for path in get_layout_directories())
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            432  
                                                    self.all_characters = " "
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        433 -
                                                self.switcher = Gtk.StackSwitcher(stack=self.stack, margin_bottom=8)
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        434 -
                                                self.revealer = Gtk.Revealer(child=Gtk.ScrolledWindow(child=Gtk.Viewport(child=self.switcher)))
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        433 +
                                                self.switcher = Gtk.StackSwitcher(stack=self.stack)
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        434 +
                                                self.revealer = Gtk.Revealer(child=Gtk.ScrolledWindow(child=Gtk.Viewport(child=self.switcher, margin_bottom=8)))
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            435  
                                                    self.box.prepend(self.revealer)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            436  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            437  
                                                    self.extra_controls = Gtk.Box(orientation=Gtk.Orientation.HORIZONTAL, spacing=8,