1
0
mirror of https://github.com/rkd77/elinks.git synced 2025-02-02 15:09:23 -05:00
Witold Filipczyk 88d9704e11 [mouse] Create or delete ~/.elinks/mouse.lock file while changing ui.mouse_disable option. Refs #137
There is no good way to inform slave elinks instances about options. So, for mouse there is a workaround.
Note, If you set ui.mouse_disable = 1 in elinks.conf manually, to get effect on 2nd ELinks instance,
you must also touch ~/.elinks/mouse.lock . Changes via option manager delete or create this file automatically.
2022-01-02 15:17:53 +01:00
..
2021-01-02 16:20:27 +01:00
2020-10-05 20:14:55 +02:00
2021-01-02 16:20:27 +01:00
2021-08-13 14:49:43 +02:00
2021-08-08 21:25:08 +02:00
2021-08-06 19:20:17 +02:00
2021-01-02 16:20:27 +01:00
2021-01-02 16:20:27 +01:00
2021-08-06 19:20:17 +02:00
2005-10-21 09:14:07 +02:00
2017-11-19 18:29:38 +01:00
2020-09-05 22:06:01 +02:00
2021-01-02 16:20:27 +01:00
2020-10-05 20:14:55 +02:00
2021-08-08 21:25:08 +02:00
2020-10-05 20:14:55 +02:00
2021-03-20 17:20:26 +01:00
2021-01-02 16:20:27 +01:00
2020-10-05 20:14:55 +02:00
2020-10-05 20:14:55 +02:00