15 lines
571 B
Properties
15 lines
571 B
Properties
#BlueJ-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "bluej.defs"
|
|
#Thu Sep 03 09:52:51 CEST 2020
|
|
session.numeditors.stride=0
|
|
bluej.uid=f5dfac60-0904-43b9-a46c-a52ff418d0a3
|
|
bluej.latest.msg=2020-06-01
|
|
bluej.editor.stride.sidebarShowing=true
|
|
bluej.startWithTextEval=false
|
|
bluej.recentProject0=H\:\\Dokumente\\Tik-Tak-Toe-Projekt\\Tik_Tak_Toe
|
|
blackbox.uuid=9c70435a-b735-47d5-af49-0593ac465c27
|
|
bluej.editor.fontsize=13
|
|
extensions.org.bluej.extensions.submitter.Submitter.settings.saslrealm=
|
|
bluej.terminal.y=16
|
|
bluej.terminal.x=16
|
|
session.numeditors.java=0
|