NEW: custom format for window number in mode line