Sun, 22 Apr 2018 14:01:39 +0200
CodeDocumentationViewer: added code to remember the most recently unregistered provider for some time in case it is registered again (e.g. during plug-in update)
6266
c7bc0e516cd6
CodeDocumentationViewer: added code to remember the most recently unregistered provider for some time in case it is registered again (e.g. during plug-in update)
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
6265
diff
changeset
|
1 | (binary:application/octet-stream) |