Apple-2-Tools
/
dmolony-DiskBrowser
mirror of https://github.com/dmolony/DiskBrowser.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

tidying

This commit is contained in:
Denis Molony 2022-12-11 01:54:00 +10:00
parent 668ed719fa
commit af3ead0441
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/com/bytezone/diskbrowser/applefile/BasicTextFile.java
View File

@ -8,8 +8,8 @@ import com.bytezone.diskbrowser.utilities.HexFormatter;
public class BasicTextFile extends TextFile public class BasicTextFile extends TextFile
// -----------------------------------------------------------------------------------// // -----------------------------------------------------------------------------------//
{ {
private static String underline = "------------------------------------------" private static String underline =
+ "------------------------------------\n"; "------------------------------------------" + "------------------------------------\n";
private static String fullUnderline = "---------- ------- " + underline; private static String fullUnderline = "---------- ------- " + underline;
private int recordLength; // prodos aux private int recordLength; // prodos aux
private List<TextBuffer> buffers; // only used if it is a Prodos text file private List<TextBuffer> buffers; // only used if it is a Prodos text file
@ -42,6 +42,7 @@ public class BasicTextFile extends TextFile
this.buffers = buffers; this.buffers = buffers;
this.eof = eof; this.eof = eof;
recordLength = auxType; recordLength = auxType;
prodosFile = true; prodosFile = true;
} }
@ -167,8 +168,7 @@ public class BasicTextFile extends TextFile
if (textPreferences.showTextOffsets) if (textPreferences.showTextOffsets)
{ {
line = line.replaceAll ("\\n", "\n "); line = line.replaceAll ("\\n", "\n ");
text.append ( text.append (String.format ("%,10d %,8d %s%n", recNo * recordLength, recNo, line));
String.format ("%,10d %,8d %s%n", recNo * recordLength, recNo, line));
} }
else else
text.append (String.format ("%s%n", line)); text.append (String.format ("%s%n", line));