It would be nice that when typing :: I would get autocompletion of all property keys that are available in my graph.
Hi. This was implemented a couple releases ago. See Usage section in https://docs.logseq.com/#/page/term%2Fproperties for how property autocompletion works