frontend/project: improve file tabs recent-files menu#8752

haraldschilly merged 1 commit intomastersagemathinc/cocalc:masterfrom

filter-filebar-context-recentsagemathinc/cocalc:filter-filebar-context-recentCopy head branch name to clipboard