That's what I was thinking: probably better (maybe as `!!$.isFullScreen()`) but not worth changing just for this.