version 1.2, 2006/03/06 08:55:31 |
version 1.5, 2006/03/10 11:48:01 |
|
|
int ox_texmacs_level; |
int ox_texmacs_level; |
// For select engine menu. |
// For select engine menu. |
int oxEngine; // cf. peer_type. temporal. |
int oxEngine; // cf. peer_type. temporal. |
// OnState or OffState in the execution menu |
// For error handling. |
NSMenuItem *menuItemNotebookMode; |
|
NSMenuItem *menuItemBasicMode; |
|
NSMenuItem *menuItemRisaAsir; |
|
NSMenuItem *menuItemKanSm1; |
|
NSMenuItem *menuItemOutputDebugMessages; //cf. debugMyTunnel; |
|
NSMenuItem *menuItemPrettyPrint; //cf. prettyPrint; |
|
// For error handling. |
|
NSMutableArray *errorLines; |
NSMutableArray *errorLines; |
// For debug the tunnel |
// For debug the tunnel |
int debugMyTunnel; |
int debugMyTunnel; |
|
|
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; |
|
|
// managing OpenGL messages. (channel 1 and 2) |
// managing OpenGL messages. (channel 1 and 2) |
-(int) openGLActionFor: (NSString *)cmd; |
-(int) openGLActionFor: (NSString *)cmd; |
-(int) openGLInitActionFor: (NSString *)cmd; |
-(int) openGLInitActionFor: (NSString *)cmd; |
|
-(void) showListOfOglComm: (int) gid; |
|
-(void) openGLMeta: (NSString *) cmd to: (int) gid; |
// managing png messages. (channel 10) |
// managing png messages. (channel 10) |
-(void) pngActionFor: (NSString *)cmd; |
-(void) pngActionFor: (NSString *)cmd; |
// notebookMode |
// notebookMode |