// Path: src/ch/jbead/BeadSymbols.java
// public class BeadSymbols {
// 
//     public static final String MIDDLE_DOT = "\u00b7";
//     public static final String DEFAULT_SYMBOLS = MIDDLE_DOT + "abcdefghijklmnopqrstuvwxyz+-/\\*";
//     public static String SYMBOLS = DEFAULT_SYMBOLS;
//     public static String SAVED_SYMBOLS = DEFAULT_SYMBOLS;
// 
//     static {
//         reloadSymbols();
//     }
// 
//     public static void restoreDefaults() {
//         SYMBOLS = DEFAULT_SYMBOLS;
//     }
// 
//     public static void reloadSymbols() {
//         Settings settings = new Settings();
//         settings.setCategory("view");
//         SAVED_SYMBOLS = settings.loadString("symbols", DEFAULT_SYMBOLS);
//         SYMBOLS = SAVED_SYMBOLS;
//     }
// 
//     public static String get(byte index) {
//         if (index >= SYMBOLS.length()) return " ";
//         return SYMBOLS.substring(index, index + 1);
//     }
// 
// }


import java.awt.Color;
import java.io.IOException;
import ch.jbead.BeadSymbols;
        // draw colors flag not saved
        // draw symbols flag not saved
        // symbols string not saved
    }

    @Override
    public void load(JBeadInputStream in) throws IOException {
        width = in.readInt();
        height = (DBB_FIELD_SIZE + width - 1) / width;
        data = new byte[width * height];
        in.read(data, 0, DBB_FIELD_SIZE);
        colors.clear();
        colors.add(in.readBackgroundColor());
        for (int i = 1; i < 10; i++) {
            colors.add(in.readColor());
        }
        colorIndex = readByte(in, "colorIndex");
        zoomIndex = readInt(in, "zoomIndex");
        shift = readInt(in, "shift");
        scroll = readInt(in, "scroll");
        draftVisible = in.readBool();
        correctedVisible = in.readBool();
        simulationVisible = in.readBool();
        setDefaults();
    }

    private void setDefaults() {
        reportVisible = true;
        drawColors = true;
        drawSymbols = false;
// Path: src/ch/jbead/BeadSymbols.java
// public class BeadSymbols {
// 
//     public static final String MIDDLE_DOT = "\u00b7";
//     public static final String DEFAULT_SYMBOLS = MIDDLE_DOT + "abcdefghijklmnopqrstuvwxyz+-/\\*";
//     public static String SYMBOLS = DEFAULT_SYMBOLS;
//     public static String SAVED_SYMBOLS = DEFAULT_SYMBOLS;
// 
//     static {
//         reloadSymbols();
//     }
// 
//     public static void restoreDefaults() {
//         SYMBOLS = DEFAULT_SYMBOLS;
//     }
// 
//     public static void reloadSymbols() {
//         Settings settings = new Settings();
//         settings.setCategory("view");
//         SAVED_SYMBOLS = settings.loadString("symbols", DEFAULT_SYMBOLS);
//         SYMBOLS = SAVED_SYMBOLS;
//     }
// 
//     public static String get(byte index) {
//         if (index >= SYMBOLS.length()) return " ";
//         return SYMBOLS.substring(index, index + 1);
//     }
// 
// }


// Path: src/ch/jbead/fileformat/DbbMemento.java
import java.awt.Color;
import java.io.IOException;
import ch.jbead.BeadSymbols;

        // draw colors flag not saved
        // draw symbols flag not saved
        // symbols string not saved
    }

    @Override
    public void load(JBeadInputStream in) throws IOException {
        width = in.readInt();
        height = (DBB_FIELD_SIZE + width - 1) / width;
        data = new byte[width * height];
        in.read(data, 0, DBB_FIELD_SIZE);
        colors.clear();
        colors.add(in.readBackgroundColor());
        for (int i = 1; i < 10; i++) {
            colors.add(in.readColor());
        }
        colorIndex = readByte(in, "colorIndex");
        zoomIndex = readInt(in, "zoomIndex");
        shift = readInt(in, "shift");
        scroll = readInt(in, "scroll");
        draftVisible = in.readBool();
        correctedVisible = in.readBool();
        simulationVisible = in.readBool();
        setDefaults();
    }

    private void setDefaults() {
        reportVisible = true;
        drawColors = true;
        drawSymbols = false;
        symbols = BeadSymbols.SAVED_SYMBOLS;