1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
#include <stdio.h>
#include "../machine.h" /* for C2F */
#include "../stack-def.h" /* for paus */
#if 0 /* to debug TeXmacs interface */
#define DATA_BEGIN ((char) 'B')
#define DATA_END ((char) 'E')
#else
#define DATA_BEGIN ((char) 2)
#define DATA_END ((char) 5)
#endif
#define DATA_ESCAPE ((char) 27)
#define Pause C2F(recu).paus
static int first=1;
static int texmacs_mode=0;
extern int LineRead();
void settexmacs() {
texmacs_mode=1;
}
int C2F(intexmacs)() {
return texmacs_mode;
}
void next_input () {
fprintf(stdout,"%cchannel:prompt%c",DATA_BEGIN,DATA_END);
if (Pause==0)
fprintf(stdout,"--> ");
else
fprintf(stdout,"-%d-> ",Pause);
fprintf(stdout,"%c",DATA_END);fflush (stdout);
}
extern void
C2F(texmacsin)(buffer, buf_size, len_line, eof, dummy1)
char buffer[];
int *buf_size;
int *len_line;
int *eof;
long int dummy1;
{
int nr,info;
if (first==1) {
fprintf(stdout,"%cverbatim:",DATA_BEGIN);
}
next_input ();
first=0;
*eof=0;
info=LineRead(stdin,buffer,*buf_size,len_line,&nr);
fprintf(stdout,"%cverbatim:",DATA_BEGIN);
*len_line=*len_line-1;
}
|
