Add a "clear" button to the file filter.
commit379953060bad1e996d67d4a5bf28df77f60341e0
authorFredrik Kuivinen <freku045@student.liu.se>
Mon, 19 Sep 2005 15:46:28 +0000 (19 17:46 +0200)
committerFredrik Kuivinen <freku045@student.liu.se>
Mon, 19 Sep 2005 15:46:28 +0000 (19 17:46 +0200)
tree7463ba92c13a1f4542f02d0c58c6cd79dd788aba
parentc8e610bdb5d299dbe23a850df0fbda2b9f44e618
Add a "clear" button to the file filter.

Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
[fredrik: Mark's idea and code, I have just changed it to a text button
instead of a button with an icon.]
main.py