Fully functional Ifs.java (pixelSize change added via UP/DOWN keys).