You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Because in the plugin source code the preferences filename for getting the settings modified by the user is wrong the plugin cannot find the newly modified settings (it falls back to the default values that are included in the source code).
Due to this small bug the plugin doesn't show anything else but functions that are part of the 2 and 3 sections of the man pages.
The text was updated successfully, but these errors were encountered:
I apologize, I also made a pull request related to this issue and I didn't realize that the pull request operation also will open an new issue with the provided message. In this case this issue can be remove because it is a duplicate. I apologize for the mixup. :D
Hello,
Because in the plugin source code the preferences filename for getting the settings modified by the user is wrong the plugin cannot find the newly modified settings (it falls back to the default values that are included in the source code).
Due to this small bug the plugin doesn't show anything else but functions that are part of the 2 and 3 sections of the man pages.
The text was updated successfully, but these errors were encountered: