}
void loadProps() {
Dimension t = getToolkit().getScreenSize();
int W = 560, H = 430, x = t.width-W, y = t.height-H-25;
pm = new PropertyManager("mae", "Fide", getClass());
frm.setBounds(pm.getBounds("frame", x, y, W, H));
Font f = new Font("Monospaced", 0, 12);
src.setFont(pm.getFont("font", f));
setTAB(pm.getInteger("tab.size", 4));
juniorCoderCodeCompletation = Boolean.parseBoolean(pm.getProperty("JuniorCoder.CodeCompletation",true+""));