Matthias Clasen
35a88c1440
widget: Rename a function
set_enabled is shorter and more to the point
than enabled_changed, now that we no longer have
a callback to query the state.
Adapt all callers.
2019-06-22 17:03:51 -04:00
..
2019-06-22 17:03:51 -04:00
2019-05-28 20:25:16 +00:00
2018-04-16 16:06:33 +01:00
2019-02-05 10:14:31 +01:00
2019-02-05 10:14:31 +01:00
2019-02-05 10:14:31 +01:00
2006-10-08 05:07:55 +00:00
2019-02-05 10:14:31 +01:00
2019-02-05 10:14:31 +01:00
2010-08-07 17:19:16 +02:00
2010-05-03 01:49:50 +02:00
2004-08-31 21:15:51 +00:00
2004-06-05 03:58:50 +00:00
2019-02-05 10:14:31 +01:00