document-manager: emit "document-removed" for open documents in dispose
commit15fd46f716a0399fe132871a08bcbf0423244702
authorCarl-Anton Ingmarsson <ca.ingmarsson@gmail.com>
Fri, 1 Feb 2013 09:33:22 +0000 (1 10:33 +0100)
committerCarl-Anton Ingmarsson <ca.ingmarsson@gmail.com>
Fri, 1 Feb 2013 09:33:22 +0000 (1 10:33 +0100)
treeb3ece8e42d894b21e4696f87fbee83515e9d5dfb
parent57186df98f6612e51219f3a9cfdae9dca0759d0e
document-manager: emit "document-removed" for open documents in dispose
plugins/document-manager/anjuta-docman.c