2019-08-08 10:01:56 +00:00
|
|
|
package com.bytezone.diskbrowser.gui;
|
|
|
|
|
|
|
|
public class BasicPreferences
|
|
|
|
{
|
|
|
|
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;
|
|
|
|
public int wrapPrintAt = 40;
|
|
|
|
public int wrapRemAt = 60;
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public String toString ()
|
|
|
|
{
|
|
|
|
StringBuilder text = new StringBuilder ();
|
|
|
|
|
2019-08-08 10:12:34 +00:00
|
|
|
text.append (String.format ("Split remark .......... %s%n", splitRem));
|
|
|
|
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));
|
|
|
|
text.append (String.format ("Show caret ............ %s", showCaret));
|
2019-08-08 10:01:56 +00:00
|
|
|
|
|
|
|
return text.toString ();
|
|
|
|
}
|
|
|
|
}
|