project_files/web/pre.js
author Wuzzy <Wuzzy2@mail.ru>
Sun, 22 Oct 2017 00:48:38 +0200
changeset 12736 7cbb0241d31c
parent 11796 50a462b9454a
permissions -rw-r--r--
Wrap around target coordinates when clicking on other side of wrap-around world edge This fixes girder placement failure on other side (not across).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: