Is dictionnary document specific (i.e. shared) or user specific or document and user specific? #4
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
It seems that on Debian 12 GNOME can't leverage Firefox dictionary, related to Benjamin_Loison/firefox/issues/146.
+4
On https://plmlatex.math.cnrs.fr and https://overleaf.lemnoslife.com.
Dictionary synchronization seems to require refreshing webpage but otherwise it is synchronized across given Overleaf instance own documents.
I tested and even after a webpage refresh from the other account it seems user specific.
How to export/import the dictionary?
On https://plmlatex.math.cnrs.fr:
Unminimized Bash script to add a word:
Unminimized Bash script when load webpage:
Output:
The dictionary words I added do not seem to be part of
words
. Furthermore,words
only seem to be about current view.Only first 8 suggestions are shown it seems.
index
refers to passedwords
.So unclear how can figure out without administrator access, my dictionary entries, as need to write words to figure out if they are part of my dictionary but this is complexitely not optimized as would need to enumerate any possible word (so more than usual dictionaries).
Correcteur orthographique can be disabled in addition to selecting a given language.
Maybe more recent Overleaf instances give access to the dictionary.
Can to some extent guess the dictionary words thanks to documents (hence words that we do not have to arbitrarily enumerate) we had write access to (I verified that on https://plmlatex.math.cnrs.fr we can't add to the dictionary only read access even if we are authenticated we another account).
Related to Improve_websites_thanks_to_open_source/issues/462.