]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b89039) | patch
* click signal changed: now the element argument is optional
authorLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:09:30 +0000 (13:09 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:09:30 +0000 (13:09 +0000)
commit1957a1f151c547f04625c4379e51ab66bddb69c7
tree406f51d33a9fd397477769d6d41ae9f9b863493btree | snapshot
parent3b8903933e9ae1a3aa7f73bf34379fd6ee2ca130commit | diff
* click signal changed: now the element argument is optional
  and if None it means the click was made on nothing. This is more
  uniform with the other signals
helm/DEVEL/lablgtkmathview/gMathView.ml diff | blob | history
helm/DEVEL/lablgtkmathview/gMathView.mli diff | blob | history
helm/DEVEL/lablgtkmathview/gtkMathView.ml diff | blob | history
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.