#13: Added preferences and saved window size and divider locations.