diff options
author | Damien Pollet <[email protected]> | 2021-08-17 21:35:31 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2021-08-17 21:35:31 +0200 |
commit | 188210e37ca1fe4a776135424798da5073e35402 (patch) | |
tree | ee6891079d3c150b6102857b33fdc8127e23244d /out/_next/static/Fs8pNj7ZnOhYGN7c4Cy1D/_buildManifest.js | |
parent | bd31703d8627d3c8e046d62223a08d295f0e9578 (diff) |
Extract org-roam-ui-open command from minor mode (#69)
* Extract org-roam-ui-open command from minor mode
The new command allows reopening the web UI without toggling the whole mode off and on
again.
Eliminates hardcoded port in URL string, using org-roam-ui-port variable instead.
IMHO a better distribution of responsibilities:
- org-roam-ui-open opens the web UI (and that may require enabling the
minor mode)
- org-roam-ui-mode makes web service and websocket available
* misc: change function prefix to orui
Co-authored-by: Thomas F. K. Jorna <[email protected]>
Diffstat (limited to 'out/_next/static/Fs8pNj7ZnOhYGN7c4Cy1D/_buildManifest.js')
0 files changed, 0 insertions, 0 deletions