version 1.3, 2006/03/07 11:15:23 |
version 1.5, 2006/03/10 11:48:01 |
|
|
int asir_contrib; |
int asir_contrib; |
// pretty printing |
// pretty printing |
int prettyPrint; |
int prettyPrint; |
|
// cf. NoEngine |
|
int restartMode; |
////////// |
////////// |
NSTask *task; |
NSTask *task; |
NSPipe *inboundPipe; |
NSPipe *inboundPipe; |
|
|
-(void)outputStringInNotebookMode: (NSString *)msg; |
-(void)outputStringInNotebookMode: (NSString *)msg; |
-(void)outputErrorStringInNotebookMode: (NSString *)msg; |
-(void)outputErrorStringInNotebookMode: (NSString *)msg; |
-(void)outputStringInNotebookMode: (NSString *)msg withColor: (NSColor *)color; |
-(void)outputStringInNotebookMode: (NSString *)msg withColor: (NSColor *)color; |
|
-(void)outputBorderLine: (NSColor *)color; |
|
|
- (void)messageDialog:(NSString *)msg with:(int) no; |
- (void)messageDialog:(NSString *)msg with:(int) no; |
-(void) printDocument: (id) sender; |
-(void) printDocument: (id) sender; |