[tex-k] A way to obtain filename for editor in TeX

[Wolfgang Helbig]

> input_stack[base_ptr] is not a file handle (§301). So it is not the answer.
> File handle is "packed file of text_char" (§25).
OK, How about input_file[input_stack[base_ptr].index_field]?

Greetings

-- 
Wolfgang Helbig