Translated using Weblate (Danish)

Currently translated at 45.7% (809 of 1770 strings)
generate checksum files for dist
make filter toolbar visible by default in applets
history
add minor version to all dist file names
Merge remote-tracking branch 'origin/1.2.x' into 1.2.x
Merge remote-tracking branch 'weblate/1.2.x' into 1.2.x
format translation da
remove java 7 method call
size of filter editor dialog should depend on screen size
Move filter conditions up and down
Create actions for named filters in Filter menu
1.3.2 + update history
Merge remote-tracking branch 'origin/master'
format-translation
Merge branch '1.2.x'
rename menu for user-defined filters
add command line option -U <userdir>
update
[1924]: nodes with details and/or note cannot be dragged and tooltip
text is deformed => UIManager.put("PopupMenu.consumeEventOnClose",
Boolean.FALSE);