no need to have a so large preference window
This commit is contained in:
		
							parent
							
								
									b139b3939e
								
							
						
					
					
						commit
						a1f7e8751c
					
				
					 1 changed files with 2 additions and 2 deletions
				
			
		| 
						 | 
				
			
			@ -2730,8 +2730,8 @@
 | 
			
		|||
 | 
			
		||||
<widget class="GtkWindow" id="preferences_window">
 | 
			
		||||
  <property name="border_width">4</property>
 | 
			
		||||
  <property name="width_request">544</property>
 | 
			
		||||
  <property name="height_request">530</property>
 | 
			
		||||
  <property name="width_request">500</property>
 | 
			
		||||
  <property name="height_request">375</property>
 | 
			
		||||
  <property name="visible">True</property>
 | 
			
		||||
  <property name="title" translatable="yes">Preferences</property>
 | 
			
		||||
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		
		Reference in a new issue