JannisX11 e00300c528 Insert duplicated elements after all selected elements		2021-06-27 18:54:24 +02:00
..
actions.js	Insert duplicated elements after all selected elements	2021-06-27 18:54:24 +02:00
dialog.js	Fix label for randomness slider in select window	2021-06-26 17:24:05 +02:00
interface.js	Improve built-in keymaps	2021-06-24 18:19:06 +02:00
keyboard.js	Fix issue with keymaps on macOS	2021-06-25 12:07:47 +02:00
menu.js	Fix #937 Cannot use Group Elements on null objects or locators	2021-06-24 17:48:25 +02:00
panels.js	Fix animation list overflow	2021-03-08 17:50:59 +01:00
settings.js	Update wintersky to fix particle orientation issue	2021-05-24 15:59:45 +02:00
themes.js	Improve dialog buttons API	2021-05-21 23:48:39 +02:00