// // FileSettings.h // PythonLauncher // // Created by Jack Jansen on Sun Jul 21 2002. // Copyright (c) 2002 __MyCompanyName__. All rights reserved. // #import @protocol FileSettingsSource - (NSString *) interpreter; - (BOOL) debug; - (BOOL) verbose; - (BOOL) inspect; - (BOOL) optimize; - (BOOL) nosite; - (BOOL) tabs; - (NSString *) others; - (BOOL) with_terminal; @end @interface FileSettings : NSObject { NSString *interpreter; // The pathname of the interpreter to use BOOL debug; // -d option: debug parser BOOL verbose; // -v option: verbose import BOOL inspect; // -i option: interactive mode after script BOOL optimize; // -O option: optimize bytecode BOOL nosite; // -S option: don't import site.py BOOL tabs; // -t option: warn about inconsistent tabs NSString *others; // other options BOOL with_terminal; // Run in terminal window FileSettings *origsource; NSString *prefskey; } + (id)getDefaultsForFileType: (NSString *)filetype; + (id)newSettingsForFileType: (NSString *)filetype; - (id)init; - (id)initWithFileSettings: (FileSettings *)source; - (void)updateFromSource: (id )source; - (NSString *)commandLineForScript: (NSString *)script; - (id)factorySettingsForFileType: (NSString *)filetype; - (void)saveDefaults; - (void)updateFromUserDefaults: (NSString *)filetype; @end