(lucid-menu-bar-dirty-flag): Doc fix.
authorPavel Janík <Pavel@Janik.cz>
Wed, 31 Oct 2001 10:57:06 +0000 (10:57 +0000)
committerPavel Janík <Pavel@Janik.cz>
Wed, 31 Oct 2001 10:57:06 +0000 (10:57 +0000)
commitfa1361cbef4097890d1d1d015866876b0f567572
tree25c248b380b2a7c85323e6bada655719848d351c
parent48400103d7b5b6afe660a30e25f82c097a856696
(lucid-menu-bar-dirty-flag): Doc fix.
(last-input-char): Revert doc-string to be the same as the doc-string of
`last-input-event'.
src/ChangeLog
src/keyboard.c