Open duncdrum opened 3 years ago
see #413
The missing indicators problem is tracked down to PR #472, I still don't know how exactly that PR affected the indicators. Interestingly, when you open a document from the tree, the indicators are back again.
There are a number of problems / bugs with the tree view of this extension. Not all of these are probably related by the same underlying technical or code issue, but i think its a good idea to start collecting them in a central place.
https://user-images.githubusercontent.com/6205362/133255911-dbf1f5b9-c6b6-4ba3-91f2-e7954926ab09.mov
https://user-images.githubusercontent.com/6205362/133258787-5959bda4-cdd4-453e-81d0-3dc2e017e21c.mov
see VSC, no reason to use visual clues to inform users of what is what. Probably better for accessibilty as well.
see #411 this html fragment
to the 4 entries
Servers
,localhost
,db
,Security
https://user-images.githubusercontent.com/6205362/133262379-ba79d5b7-e6db-446e-b6ff-ec3cf61e7a5a.mov