In config interface, don't include ``set'' button in disabled fields.
commit29574e8ec6e8d38b82f26cca5e8ea28fdca45b36
authorJuliusz Chroboczek <jch@pps.jussieu.fr>
Mon, 26 Sep 2005 20:45:52 +0000 (26 13:45 -0700)
committerJuliusz Chroboczek <jch@pps.jussieu.fr>
Mon, 26 Sep 2005 20:45:52 +0000 (26 13:45 -0700)
treeed6594e0d2580a25b003d2fb20999dbe5e817270
parent2e145b7ef40e49d72c49a847436c3addc875deac
In config interface, don't include ``set'' button in disabled fields.

darcs-hash:20050926204552-4cc09-d0e6c991d989ad74563f69c1397c09c234298fcb.gz
config.c