Extend the implementation of "Save" and "Close" for files that are dragged out of the main frame - Githubissues

SRI-CSL / PVS

The People's Verification System

http://pvs.csl.sri.com

GNU General Public License v2.0

139 stars 32 forks source link

Extend the implementation of "Save" and "Close" for files that are dragged out of the main frame #6

Closed happyhuman closed 11 years ago

happyhuman commented 11 years ago

Done.