[JPP-Devel] [openjump-gis/openjump] 680184: Spatially consistency between 2 Raster layers (#80)

2023-03-11 Thread Giuseppe Aruta via Jump-pilot-devel
Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 6801846e800148250033fae95bde88b5a1e31bbb https://github.com/openjump-gis/openjump/commit/6801846e800148250033fae95bde88b5a1e31bbb Author: Giuseppe Aruta <69568435+ma15...@users.noreply.github.com> Date

[JPP-Devel] [openjump-gis/openjump] c766f0: monitor number of features processed

2023-03-11 Thread Michaël Michaud via Jump-pilot-devel
Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: c766f07fac67b4d17fea44cac65f76f6e7eec523 https://github.com/openjump-gis/openjump/commit/c766f07fac67b4d17fea44cac65f76f6e7eec523 Author: Michaël Michaud Date: 2023-03-11 (Sat, 11 Mar 2023) Chang

[JPP-Devel] [openjump-gis/openjump] 1f8ee8: replace alt+shift by shift to pan while editing ge...

2023-03-11 Thread Michaël Michaud via Jump-pilot-devel
Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 1f8ee81137d436658817c65b48dfa7bf1f0f5bb4 https://github.com/openjump-gis/openjump/commit/1f8ee81137d436658817c65b48dfa7bf1f0f5bb4 Author: Michaël Michaud Date: 2023-03-11 (Sat, 11 Mar 2023) Chang

[JPP-Devel] Shortcut to pan

2023-03-11 Thread Michaud Michael
Hi all,I replaced the Alt+Shift shortcut used to pan while editing geometry by just Shift.Alt+Shift is used by windows to change default language and users often change the language without knowing it.Let me know if you see any drawback to the choice of Shift. I have been adviced to use space or

Re: [JPP-Devel] Shortcut to pan

2023-03-11 Thread Giuseppe Aruta
Hi Michael, Keyboard shortcuts conflicts have been a problem when I was using Ubuntu in the past. The only way was to remap Ubuntu shortcuts if I was not using them in favour of OpenJUMP ones. Actually I am using Windows and it is important to know this side effect. Thanks for taking care of it. I