TabWidget: update icon only if extension changed