Whether it is or not, they're not also living under a suspended fine for previous persistent pitch crapness. We were given the chance to put it right, and failed.
They're not obliged to let you smoke there just because they legally could. Far easier to operate a blanket ban than have pernickety punters moaning about exactly where the mid-air boundary between the smoking and no smoking areas might lie.