diff options
| author | Tilman List <tilman.list@posteo.de> | 2020-10-27 11:12:09 +0100 |
|---|---|---|
| committer | Tilman List <tilman.list@posteo.de> | 2020-10-27 14:26:27 +0100 |
| commit | de6e86da46a93a2d02a8ea24fe6d02f971f2a9e3 (patch) | |
| tree | 475a2cdf05b7d2a27e2aeed870c8a8e45a5af2a9 /src | |
| parent | 9a5cf2fc9f9d4afff586109239a1a3640c821727 (diff) | |
changed the way the x11 REPL interaction works
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions