Florian Bruhin
|
3bd1470b20
|
Keep a reference to the labels
|
2014-04-21 11:03:42 +02:00 |
|
Florian Bruhin
|
41b0655ade
|
Add stop() to HintManager
|
2014-04-21 11:03:42 +02:00 |
|
Florian Bruhin
|
c4731b6e7e
|
Nicer hints CSS
|
2014-04-21 11:03:42 +02:00 |
|
Florian Bruhin
|
0b5f4d9fb5
|
Add some labels to hints
|
2014-04-21 11:03:42 +02:00 |
|
Florian Bruhin
|
e6569f946c
|
Add proof-of-concept hinting
|
2014-04-21 11:03:41 +02:00 |
|
Florian Bruhin
|
39f580d9f1
|
Cleanup
|
2014-04-17 17:44:27 +02:00 |
|
Florian Bruhin
|
b323706f5f
|
Use maxsplit (passed to str.split()) instead bool
|
2014-04-17 12:06:27 +02:00 |
|
Florian Bruhin
|
4b1dcbd82a
|
Refactor tab/browser widgets
|
2014-04-17 09:44:26 +02:00 |
|