Age | Commit message (Expand) | Author |
---|---|---|
2020-03-11 | Classlike header and other ui fixes | Błażej Kardyś |
2020-03-11 | Add DRIs to navigation elements, tag each ContentPage with DRI, add JS for co... | Filip Zybała |
2020-03-04 | Refactor extras in ContentNodes | Andrzej Ratajczak |
2020-03-04 | Prunes member branches in navigation tree | Paweł Marks |
2020-03-04 | Platform dependent hints for renderer | Paweł Marks |
2020-03-04 | Adds group wraping | Paweł Marks |
2020-02-19 | Rename extensions to make them more uniform | Kamil Doległo |
2020-02-18 | Translators moved to separate packages | Paweł Marks |
2020-02-18 | Removes last remnants of default extensions | Paweł Marks |
2020-02-18 | Moves location providers and output writers to base plugin | Paweł Marks |
2020-02-18 | Moves PsiToDocumentablesTranslator to the base plugin | Paweł Marks |