armin 9d5609b129 Added highlighting of focused UI elements in windows and linux, for mac it is still missing (see issue #547) 7 lat temu
..
ant-kit 5ed50c50c7 Merge branch 'release/1.3.0' into develop 8 lat temu
commons ecdd3bc5ec Fixes #600 7 lat temu
jacoco-report f0d364a6c5 formatting [ci skip] 8 lat temu
keychain 17bbd9161f adapted project-files such that project can be used with intellij IDEA IDE 7 lat temu
launcher 9ff710ddf5 Forcing RMI to use sotimeout set by socket factory 7 lat temu
uber-jar 5ed50c50c7 Merge branch 'release/1.3.0' into develop 8 lat temu
ui 9d5609b129 Added highlighting of focused UI elements in windows and linux, for mac it is still missing (see issue #547) 7 lat temu
pom.xml 17bbd9161f adapted project-files such that project can be used with intellij IDEA IDE 7 lat temu