Renamed a Couple of `SettingsTab` Properties to Try to Fix Navigation Menu Issues#566

Merged

pjkaufman merged 3 commits intoplaters:masterfrom pjkaufman:master

Dec 22, 2022

+12-13

Commits on Dec 22, 2022

updated the names of the nav el and settings el since that was messingwith obsidian specific unexported properties
pjkaufman
committed
Merge branch 'platers:master' into master
pjkaufman
authored
updated versions for patch for nav issue
pjkaufman
committed