ui.tools.deploy: adjust wording of deploy-help? option ui
							parent
							
								
									5522015885
								
							
						
					
					
						commit
						87653c20da
					
				| 
						 | 
				
			
			@ -34,11 +34,11 @@ TUPLE: deploy-gadget < pack vocab settings ;
 | 
			
		|||
    "Advanced:" <label> add-gadget
 | 
			
		||||
    deploy-math? get "Rational and complex number support" <checkbox> add-gadget
 | 
			
		||||
    deploy-threads? get "Threading support" <checkbox> add-gadget
 | 
			
		||||
    deploy-help? get "Include docs (requires math and threads)" <checkbox> add-gadget
 | 
			
		||||
    deploy-unicode? get "Unicode character literal support" <checkbox> add-gadget
 | 
			
		||||
    deploy-word-props? get "Retain all word properties" <checkbox> add-gadget
 | 
			
		||||
    deploy-word-defs? get "Retain all word definitions" <checkbox> add-gadget
 | 
			
		||||
    deploy-c-types? get "Retain all C types" <checkbox> add-gadget ;
 | 
			
		||||
    deploy-c-types? get "Retain all C types" <checkbox> add-gadget
 | 
			
		||||
    deploy-help? get "Retain documentation" <checkbox> add-gadget ;
 | 
			
		||||
 | 
			
		||||
: deploy-settings-theme ( gadget -- gadget )
 | 
			
		||||
    { 10 10 } >>gap
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue