Fix flicker due to adding and removing menu bar extra unnecessarily

96c5bb8c39Antonio Scandurra committed on 10/7/2022, 1:07:09 PMparent560d8a8
1 file changedLine totals unavailable