Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Hide PROPERTIES drawers in space-doc-mode
Hide properties in space-doc-mode to allow the use of `CUSTOM_ID` tags in documentation for correct link exporting, as discussed in #8054, #8136 and #8138. Complementary the latter two PR:s.
- Loading branch information