wbsoft/frescobaldi — pull request #279 by uliska (2013-11-11 11:54:34+00:00)
Title: Add "Close Other Documents" to documentcontextmenu

I find this very practical, and as the documentcontextmenu isn't
exactly crowded yet ...