de6e86da46
Now it uses the window id to identify the REPL window. It is stored in the option x11_repl_id. That way it is possible to have different REPLs for different buffers or windows. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |