Re: [JPP-Devel] Editing toolbox gets unusable when OJ is open for a long time

2025-01-22 Thread edgar.soldin--- via Jump-pilot-devel
On 22.01.2025 16:26, Rahkonen Jukka wrote: Hi, is that a long standing issue or did you just notice that by accident? just for conpleteness which jdk are you using? Not the first time with the edit toolbox now but I am not sure if it has been happening for years, or just months. Another iss

Re: [JPP-Devel] Editing toolbox gets unusable when OJ is open for a long time

2025-01-22 Thread Rahkonen Jukka
Hi, > is that a long standing issue or did you just notice that by accident? just > for conpleteness which jdk are you using? Not the first time with the edit toolbox now but I am not sure if it has been happening for years, or just months. Another issue that has been there for years, also hap

Re: [JPP-Devel] Editing toolbox gets unusable when OJ is open for a long time

2025-01-22 Thread edgar.soldin--- via Jump-pilot-devel
hey Jukka, On 22.01.2025 12:05, Rahkonen Jukka wrote: Hi, Does anyone have an idea about why the editing toolbox is changing the appearance if I leave OpenJUMP open for a longer period, like overnight? When I come back to OpenJUMP the toolbox is missing lots of tools and the Options box. The

[JPP-Devel] Editing toolbox gets unusable when OJ is open for a long time

2025-01-22 Thread Rahkonen Jukka
Hi, Does anyone have an idea about why the editing toolbox is changing the appearance if I leave OpenJUMP open for a longer period, like overnight? When I come back to OpenJUMP the toolbox is missing lots of tools and the Options box. The log looks normal to me: [INFO] 2025-01-22_12:58:10.364 E