0xb00bface 14f2626492 Add setting to toggle draggable tabs ... Draggable tabs in conjunction with alerts can cause tabs to freeze. See https://bugs.openjdk.java.net/browse/JDK-8254676		2022-05-07 15:12:50 +02:00
..
.settings	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
src	Add setting to toggle draggable tabs	2022-05-07 15:12:50 +02:00
.classpath	Add tests for RecordingPreconditions	2021-06-06 14:09:04 +02:00
.gitignore	Add idea project files to .gitignore	2020-11-21 19:20:01 +01:00
.project	Split up project into client, server, common and master	2018-11-18 22:42:13 +01:00
pom.xml	Save the config in a sub-directory for each version	2022-05-03 18:12:44 +02:00