Small fixes: updated GuiLogger so that the axes do not overlap with the top menu by ~2 pixels, removed a junk file remaining from an earlier merge, fixed a small recently introduced bug in getLocalSettings