dmolony-DiskBrowser/src/com/bytezone/diskbrowser/gui/BasicPreferences.java

40 lines
1.7 KiB
Java
Raw Normal View History

2019-08-08 10:01:56 +00:00
package com.bytezone.diskbrowser.gui;
2020-02-08 10:13:51 +00:00
// -----------------------------------------------------------------------------------//
2019-08-08 10:01:56 +00:00
public class BasicPreferences
2020-02-08 10:13:51 +00:00
// -----------------------------------------------------------------------------------//
2019-08-08 10:01:56 +00:00
{
public boolean splitRem = false;
public boolean alignAssign = true;
public boolean showTargets = true;
public boolean showHeader = true;
2019-08-08 10:12:34 +00:00
public boolean onlyShowTargetLineNumbers = true;
2019-08-08 10:01:56 +00:00
public boolean showCaret = false;
2020-11-11 04:26:30 +00:00
public boolean showThen = true;
2020-11-20 09:19:51 +00:00
public int wrapPrintAt = 0;
2019-08-08 10:01:56 +00:00
public int wrapRemAt = 60;
2020-11-22 01:04:27 +00:00
public int wrapDataAt = 60;
2019-08-08 10:01:56 +00:00
2020-02-08 10:13:51 +00:00
// ---------------------------------------------------------------------------------//
2019-08-08 10:01:56 +00:00
@Override
public String toString ()
2020-02-08 10:13:51 +00:00
// ---------------------------------------------------------------------------------//
2019-08-08 10:01:56 +00:00
{
StringBuilder text = new StringBuilder ();
2020-11-20 09:19:51 +00:00
text.append (String.format ("Split REM ............. %s%n", splitRem));
2019-08-08 10:12:34 +00:00
text.append (String.format ("Align assign .......... %s%n", alignAssign));
text.append (String.format ("Show targets .......... %s%n", showTargets));
text.append (
String.format ("Only target lines ..... %s%n", onlyShowTargetLineNumbers));
text.append (String.format ("Show header ........... %s%n", showHeader));
2020-11-11 04:26:30 +00:00
text.append (String.format ("Show caret ............ %s%n", showCaret));
2020-11-22 01:04:27 +00:00
text.append (String.format ("Show THEN ............. %s%n", showThen));
text.append (String.format ("Wrap PRINT at ......... %d%n", wrapPrintAt));
text.append (String.format ("Wrap REM at .......... %d%n", wrapRemAt));
text.append (String.format ("Wrap DATA at ......... %d", wrapDataAt));
2019-08-08 10:01:56 +00:00
return text.toString ();
}
}