Yeah Austrian restaurants were an absolute shocker for me. There are so many places where the 'non-smoking area' absolute reeks of second hand smoke.

Coming out from a night out with your clothes smelling like cigarettes felt like going back 30 years in time.

I'm not sure when you have been there last. The smoking ban passed a few years already, I haven't smelled cigarette smoke inside in a long time. Patios on the other hand is a different story altogether where sadly smoking is still allowed.

Indeed I now realize it may not be very up to date. I was there pre pandemic perhaps this is now changed as you say.