version 1.2, 2006/03/06 08:55:31 |
version 1.3, 2006/03/07 11:15:23 |
|
|
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; |
|
|
// 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 |