Undefined color: "WINDOW_FOREGROUND" and the old dot.trinity