-
Notifications
You must be signed in to change notification settings - Fork 31
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Search documentation missing from help menu and Shortcut (F1) adds a leading semicolon #1605
Comments
It is a rendering error, does not affect the result. |
In Mogan, documents are not shipped any more. They are shipped as remote docs. That's why the menu entry is removed. |
|
Thanks for the fast response. I thought the search was buggy because there were so few entries. But if the docs are removed this is expected. Any reason why the docs aren't shipped anymore? to safe storage space? |
Now the docs are served here: http://git.tmml.wiki/texmacs/doc And in this way, we always ship the latest doc but not the outdated doc. |
Thanks for reporting the issue, I will add more details here: https://mogan.app/guide/Mogan_versus_TeXmacs.html |
Yes, it does not work. |
Is it intended to bring the search functionality back? |
Yes. |
Mogan Version
1.2.3-rc3
Operating System Version and Architecture
macOS Sonoma 14.2.1 (23C71)
Describe Bug
The normal TeXmacs distribution allows to search the documentation from the help menu. This option is missing from Mogan.
The shortcut for searching the docs (F1) still "works", but a leading semicolon is added to every input making it essentially impossible to use.
See this image:
Expected Behavior
Search docs should be available from the help menu and shortcut use should not add a leading semicolon.
The text was updated successfully, but these errors were encountered: