version 1.1, 2006/03/03 23:31:12 |
version 1.4, 2006/03/08 04:58:14 |
|
|
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; |
|
// For error handling. |
|
NSMutableArray *errorLines; |
NSMutableArray *errorLines; |
// For debug the tunnel |
// For debug the tunnel |
int debugMyTunnel; |
int debugMyTunnel; |
|
// asir-contrib is loaded or not. |
|
int asir_contrib; |
|
// pretty printing |
|
int prettyPrint; |
|
// cf. NoEngine |
|
int restartMode; |
////////// |
////////// |
NSTask *task; |
NSTask *task; |
NSPipe *inboundPipe; |
NSPipe *inboundPipe; |
|
|
// 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) |
|
-(void) pngActionFor: (NSString *)cmd; |
// notebookMode |
// notebookMode |
-(void) insertInputCell; |
-(void) insertInputCell; |
-(NSString *)getContentsOfInputCell; |
-(NSString *)getContentsOfInputCell; |
|
|
-(void) setEngineRisaAsir: (id) sender; |
-(void) setEngineRisaAsir: (id) sender; |
-(void) setEngineKanSm1: (id) sender; |
-(void) setEngineKanSm1: (id) sender; |
-(void) setDebugMyTunnel: (id) sender; |
-(void) setDebugMyTunnel: (id) sender; |
|
-(void) loadAsirContrib: (id) sender; |
|
-(NSMenuItem *) menuItemLoadLibrary: (int) oxengine; |
|
-(void) setPrettyPrint: (id) sender; |
-(void) mytest: (id) sender; |
-(void) mytest: (id) sender; |
|
|
@end |
@end |