NumberLock hint() kommentar hinzugefügt

This commit is contained in:
2020-09-24 11:09:12 +02:00
parent 61affb4d0d
commit 617478376b
21 changed files with 1877 additions and 21 deletions

View File

@@ -1,13 +1,14 @@
#BlueJ-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "bluej.defs"
#Thu Sep 24 10:47:49 CEST 2020
bluej.recentProject0=H\:\\Info\\EscapeRoom
#Thu Sep 24 11:03:08 CEST 2020
session.numeditors.stride=0
bluej.uid=81a7ce90-da5c-42b6-a94e-14f9a0524c4b
bluej.editor.fontsize=13
blackbox.uuid=9e4ac419-169d-4246-987a-ac9adaa666fd
bluej.latest.msg=2020-06-01
extensions.org.bluej.extensions.submitter.Submitter.settings.saslrealm=
bluej.editor.stride.sidebarShowing=true
bluej.recentProject0=H\:\\Git\\EscapeRoom
bluej.recentProject1=H\:\\Info\\EscapeRoom
blackbox.uuid=9e4ac419-169d-4246-987a-ac9adaa666fd
bluej.editor.fontsize=13
extensions.org.bluej.extensions.submitter.Submitter.settings.saslrealm=
bluej.terminal.y=16
bluej.terminal.x=16
session.numeditors.java=0
session.numeditors.java=5