fix handling of preferences for "data panel" and "antialias"