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

65 lines
3.0 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
{
2021-01-10 06:18:48 +00:00
public boolean showHeader = true;
2021-03-06 00:29:54 +00:00
public boolean userFormat = true;
public boolean showAllXref = true;
2021-03-06 00:29:54 +00:00
2021-02-22 03:09:45 +00:00
public boolean appleLineWrap = false;
2021-03-06 00:29:54 +00:00
2019-08-08 10:01:56 +00:00
public boolean splitRem = false;
2021-03-06 00:29:54 +00:00
public boolean splitDim = false;
2019-08-08 10:01:56 +00:00
public boolean alignAssign = true;
public boolean showCaret = false;
2020-11-11 04:26:30 +00:00
public boolean showThen = true;
public boolean blankAfterReturn = false;
2021-01-16 22:59:01 +00:00
public boolean formatRem = false;
2020-12-21 06:10:07 +00:00
public boolean deleteExtraDataSpace = false;
2021-03-06 00:29:54 +00:00
public boolean showGosubGoto = false;
2021-01-03 05:06:51 +00:00
public boolean showCalls = false;
2020-12-26 08:32:40 +00:00
public boolean showSymbols = false;
2021-01-04 10:13:31 +00:00
public boolean showFunctions = false;
2021-03-06 00:29:54 +00:00
public boolean showConstants = false;
2020-12-29 04:52:32 +00:00
public boolean showDuplicateSymbols = false;
2021-02-23 10:06:42 +00:00
2021-05-06 08:14:40 +00:00
public int wrapPrintAt = 80;
2021-01-03 06:05:16 +00:00
public int wrapRemAt = 80;
public int wrapDataAt = 80;
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-12-21 05:33:03 +00:00
text.append (String.format ("Split REM ................ %s%n", splitRem));
text.append (String.format ("Align assign ............. %s%n", alignAssign));
text.append (String.format ("Show header .............. %s%n", showHeader));
2021-03-06 00:29:54 +00:00
text.append (String.format ("User format .............. %s%n", userFormat));
text.append (String.format ("Show All Xref ............ %s%n", showAllXref));
2021-02-22 03:09:45 +00:00
text.append (String.format ("Apple line wrap .......... %s%n", appleLineWrap));
2020-12-21 05:33:03 +00:00
text.append (String.format ("Show caret ............... %s%n", showCaret));
text.append (String.format ("Show THEN ................ %s%n", showThen));
2021-03-06 00:29:54 +00:00
text.append (String.format ("Show GOTO/GOSUB .......... %s%n", showGosubGoto));
2021-01-03 05:06:51 +00:00
text.append (String.format ("Show CALL ................ %s%n", showCalls));
2020-12-26 08:32:40 +00:00
text.append (String.format ("Show symbols ............. %s%n", showSymbols));
2021-01-05 03:24:23 +00:00
text.append (String.format ("Show constants ........... %s%n", showConstants));
2021-01-04 10:13:31 +00:00
text.append (String.format ("Show functions ........... %s%n", showFunctions));
2020-12-29 04:52:32 +00:00
text.append (String.format ("Show duplicate symbols ... %s%n", showDuplicateSymbols));
2020-12-21 05:33:03 +00:00
text.append (String.format ("Blank after RETURN ....... %s%n", blankAfterReturn));
2021-01-16 22:59:01 +00:00
text.append (String.format ("Format REM ............... %s%n", formatRem));
2020-12-21 06:10:07 +00:00
text.append (String.format ("Delete extra DATA space .. %s%n", deleteExtraDataSpace));
2020-12-21 05:33:03 +00:00
text.append (String.format ("Wrap PRINT at ............ %d%n", wrapPrintAt));
text.append (String.format ("Wrap REM at .............. %d%n", wrapRemAt));
2020-12-24 08:41:35 +00:00
text.append (String.format ("Wrap DATA at ............. %d%n", wrapDataAt));
text.append (String.format ("Split DIM ................ %d", splitDim));
2019-08-08 10:01:56 +00:00
return text.toString ();
}
}