Akuli
e9ecea0033
Add options to tkinter widgets ( #4363 )
...
In tkinter, `widget['foo'] = bar` and `widget.config(foo=bar)` do the same thing, but they will now type-check differently: the `widget['foo'] = bar` syntax allows 'foo' to be any string (e.g. a variable, not necessarily a Literal) and bar to be any object, while `widget.config(foo=bar)` checks the existence of the option and the type of bar. Similarly, cget takes a Literal argument but __getitem__ takes a string.
Testing script can still be found at c42a72c53e
2020-08-17 13:59:51 -07:00
..
2020-08-08 20:49:37 +02:00
2020-08-05 22:49:17 -07:00
2020-06-28 13:31:00 -07:00
2020-08-05 22:49:17 -07:00
2020-08-05 22:49:17 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-08-12 17:59:00 -07:00
2020-08-05 22:49:17 -07:00
2020-08-06 18:27:21 -07:00
2020-08-08 11:29:23 +02:00
2020-08-16 05:15:51 -07:00
2020-08-17 13:59:51 -07:00
2020-08-08 20:49:37 +02:00
2020-08-08 20:49:37 +02:00
2020-06-29 00:00:21 -07:00
2020-08-08 20:49:37 +02:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2018-03-05 12:42:29 -08:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2019-10-13 16:22:03 -07:00
2020-08-16 12:30:04 -07:00
2020-08-08 20:49:37 +02:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-29 00:00:21 -07:00
2016-09-23 13:35:55 -07:00
2020-06-29 00:00:21 -07:00
2020-06-30 18:05:30 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-29 00:00:21 -07:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2019-04-13 10:40:52 +02:00
2020-06-28 13:31:00 -07:00
2020-08-05 22:49:17 -07:00
2020-06-28 13:31:00 -07:00
2020-08-08 20:49:37 +02:00
2020-08-05 22:49:17 -07:00
2020-06-28 13:31:00 -07:00
2020-06-30 18:05:30 -07:00
2020-08-04 11:02:36 +02:00
2020-08-05 22:49:17 -07:00
2020-08-08 20:49:37 +02:00
2020-07-03 15:23:43 +02:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2017-04-30 14:16:30 -07:00
2020-07-27 06:08:09 -07:00
2018-07-02 20:23:29 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-07-16 07:01:57 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-07-30 20:52:17 +02:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2019-10-20 10:37:33 +02:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-08-06 18:27:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-29 00:00:21 -07:00
2019-07-27 10:58:21 +02:00
2020-08-08 11:29:23 +02:00
2020-06-29 00:00:21 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-06-28 13:31:00 -07:00
2020-08-08 20:49:37 +02:00
2020-08-17 13:49:58 -07:00
2020-08-08 20:49:37 +02:00
2020-06-28 13:31:00 -07:00