ff6ee2c0c2
Rename DocsWidget to RecentDocsWidget (as widgets for most used docs, docs related to the currently open documents, etc. may be added in the future), and change the title so that it doesn't abbreviate 'Docs' (for consistency with the overlay). |
||
---|---|---|
.. | ||
misc | ||
ui | ||
Makefile.am |