zadam 4cde65d171 close currently active dialog if a different one is activated		2019-06-10 22:45:03 +02:00
..
javascripts	close currently active dialog if a different one is activated	2019-06-10 22:45:03 +02:00
stylesheets	redesign of drag & drop, separation of active, focused and active notes in the tree, fixes #565	2019-06-10 21:47:08 +02:00
robots.txt