Sadly, I Can See More US Bishops Doing This Long Before Taking On Pro-abortion Catholic Politicians

In this liberal PC era I would have no doubt that if Papa Benedetto implimented a similar policy for all Church property then you would see a huge majority of Catholic Bishops enforcing this. Well maybe they would make an exception for pro-abort Dems, but you can be ure any Republican politician who is Catholic even carrying a single cigarette that was found anywhere near a Catholic Church would be excommunicated instantly.

Pope Urban VII's papacy began on September 15, 1590. It ended with his death from malaria less than two weeks later.
Although he didn't spend much time as the head of the Catholic Church, Urban VII was around long enough to make his feelings on tobacco known. He banned all tobacco "in the porchway of or inside a church, whether it be by chewing it, smoking it with a pipe or sniffing it in powdered form through the nose." The penalty for breaking his edict? Excommunication.
Urban VII's crackdown is considered to be history's first public smoking ban. Various papal bans on smoking stuck around until 1724, when tobacco-loving Pope Benedict XIII gave Catholics the thumbs-up to light up again.

Source: King, Sultan, pope crack down on smoking