OpenStreetMap 로고 OpenStreetMap

JOSM 13996 released

josmeditor님이 English로 2018년 7월 1일에 게시함.

The 18.06 version (13996) is out!

Notable changes in this release:

For more details about the other changes and bugfixes, see the summarized changelog.

Happy mapping!

이메일 아이콘 Bluesky 아이콘 Facebook 아이콘 LinkedIn 아이콘 마스토돈 아이콘 텔레그램 아이콘 X 아이콘

토론

2018년 7월 3일 03:16freebeer님의 의견

not knowing the AZERTY kezboard layout, would the squared/tilde be the raw key at upper left normally? That is, should a QWERTZ kezboard victim need to go through the contortions for the tilde I see positioned elsewhere, or would what appears to be a ^ caret or probably a degree sign I see on the particular QWERTZ kezboard layout in front of me but which raw scancodes I interpret as something completely different, rather than hunting and pecking at all the keys in locations not matching me muscle memory?

Ugh. That last sentence was pretty bad, and was not one. I think I need to wake up, or else sleep.

2018년 7월 3일 21:52Alan Bragg님의 의견

Shifting images doesn’t work for me. My keyboard is qwerty and the tilde is to the left of the “1” and accessed with the shift key.

2018년 7월 4일 02:25TheSwavu님의 의견

The instructions are not very clear. The imagery layer switch is mapped to the dead tilde key. This means if you are using an English keyboard layout then you don’t have this key. You need to change your keyboard layout to one that has the dead keys enabled ie:https://en.wikipedia.org/wiki/QWERTY#US-International.

Rather annoyingly you can’t use the keyboard shortcut set up to map things to the (live) tilde key (probably because they’re not available on a German keyboard layout?).

2018년 7월 4일 04:34Glassman님의 의견

I just saw @TheSwavu’s post after I created a bug report. The key doesn’t work on my linux box or MacBookPro.

See https://josm.openstreetmap.de/ticket/16460#ticket

2018년 7월 4일 05:02TheSwavu님의 의견

Turns out that it’s not that simple. I’ve tried this on a Windows 7 machine and it doesn’t work even if you have the dead keys activated. It will work if re-assign the shortcut to something else.

2018년 7월 5일 09:09N3S님의 의견

For German QWERTZ, I changed the shortcut to “Zirkumflex (dead)”. Nice feature, though.

댓글을 남기려면 로그인하세요