]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: the accelerators for Close and Quit were both Ctrl+q (???)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jan 2011 21:49:52 +0000 (21:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jan 2011 21:49:52 +0000 (21:49 +0000)
commit57f19e78a66217588b6f097f378211b7c2890857
tree4250fad79f547c5963a0161f03dc51961fd724e7
parent2ee9fec48a170371c20fd15fc560d15814e290fe
Bug fixed: the accelerators for Close and Quit were both Ctrl+q (???)
matita/matita/matita.glade