Kovid Goyal
|
c817ba9eae
|
more typing work
|
2020-03-09 13:32:45 +05:30 |
|
Kovid Goyal
|
92827ae647
|
More typing work
|
2020-03-09 09:56:37 +05:30 |
|
Kovid Goyal
|
5bdb405635
|
More typing work
|
2020-03-09 08:56:02 +05:30 |
|
Kovid Goyal
|
9beae321d7
|
More typing work
|
2020-03-08 22:08:18 +05:30 |
|
Kovid Goyal
|
353db678a2
|
Add typing to box_drawing
|
2020-03-08 21:30:50 +05:30 |
|
Kovid Goyal
|
9b973ef99c
|
More typing work
|
2020-03-08 20:36:50 +05:30 |
|
Kovid Goyal
|
308d171dae
|
More typing work
|
2020-03-08 18:55:30 +05:30 |
|
Kovid Goyal
|
7057bc663e
|
Implement proper editor integration for mypy
|
2020-03-08 14:39:46 +05:30 |
|
Kovid Goyal
|
d84cff0baf
|
The hints kitten should by default use the URL prefixes from kitty.conf
|
2020-03-08 13:26:55 +05:30 |
|
Kovid Goyal
|
645890ccc8
|
Make the set of URL prefixes that are recognized while hovering with the mouse configurable
Fixes #2416
|
2020-03-08 13:16:34 +05:30 |
|
Kovid Goyal
|
cc1336a616
|
More typing work
Also use a mypy based linter when editing
|
2020-03-08 11:02:14 +05:30 |
|
Kovid Goyal
|
9b32f18109
|
Refactor remote control commands into individual modules
Also add type information
|
2020-03-08 08:39:26 +05:30 |
|
Kovid Goyal
|
a0321376d5
|
Fix `@selection` placeholder not working with launch command
Fixes #2417
|
2020-03-08 08:00:36 +05:30 |
|
Kovid Goyal
|
0a6e264d09
|
Fix #2414
|
2020-03-07 15:15:27 +05:30 |
|
Kovid Goyal
|
afec07b124
|
More typing work
|
2020-03-06 14:19:46 +05:30 |
|
Kovid Goyal
|
8a34fede55
|
More typing work
|
2020-03-06 08:35:23 +05:30 |
|
Kovid Goyal
|
686b5f297e
|
Ensure glfw is imported from the correct place
|
2020-03-06 08:23:01 +05:30 |
|
Kovid Goyal
|
6609d219f4
|
Add type checking for glfw module as well
|
2020-03-06 07:59:55 +05:30 |
|
Kovid Goyal
|
804998ca69
|
oops
|
2020-03-06 07:55:54 +05:30 |
|
Kovid Goyal
|
de5254469c
|
Fix #2412
|
2020-03-06 07:48:41 +05:30 |
|
Kovid Goyal
|
ef879bab9c
|
Fix #2411
|
2020-03-06 07:19:33 +05:30 |
|
Kovid Goyal
|
f729985346
|
More typing work
Also move notification_activated into a standalone function which will
hopefully fix #2410
|
2020-03-06 07:07:18 +05:30 |
|
Kovid Goyal
|
1e998b6a3f
|
Use mypy in daemon mode
|
2020-03-05 20:38:51 +05:30 |
|
Kovid Goyal
|
77e9460eea
|
Make mypy a bit stricter
|
2020-03-05 19:57:28 +05:30 |
|
Kovid Goyal
|
81a58186c6
|
Drop support for python 3.5
|
2020-03-05 18:31:20 +05:30 |
|
Kovid Goyal
|
ac149be2bb
|
py3.5 compat
|
2020-03-05 18:23:45 +05:30 |
|
Kovid Goyal
|
a76a163db5
|
kitty.config is typed
|
2020-03-05 18:17:21 +05:30 |
|
Kovid Goyal
|
4ae59d3f77
|
The launch module is now fully typed
|
2020-03-05 16:20:56 +05:30 |
|
Kovid Goyal
|
d83a450260
|
A command for test.py to generate the typing stubs and run mypy
|
2020-03-05 15:58:30 +05:30 |
|
Kovid Goyal
|
61acc0784e
|
Dont store generated stubs in source control
|
2020-03-05 15:50:54 +05:30 |
|
Kovid Goyal
|
f05890719d
|
Add type checking for the various CLI options objects
|
2020-03-05 15:47:12 +05:30 |
|
Kovid Goyal
|
0f4e7921ee
|
Create an auto-generated stub file for the kitty Options object
|
2020-03-04 19:14:50 +05:30 |
|
Kovid Goyal
|
ec8c96b8e6
|
diff kitten: Highlight pyi files as python
|
2020-03-04 11:52:58 +05:30 |
|
Kovid Goyal
|
f0b29e15c3
|
The utils and constants modules are now fully typechecked
|
2020-03-04 10:26:41 +05:30 |
|
Kovid Goyal
|
8ad62106e0
|
No global typing issues in all code (excluding tests)
|
2020-03-04 08:10:20 +05:30 |
|
Kovid Goyal
|
36eb52424f
|
No top level typing issues for kittens
|
2020-03-04 07:49:28 +05:30 |
|
Kovid Goyal
|
c9ce2f47dc
|
No top level typing issues found in kitty package
|
2020-03-04 07:31:22 +05:30 |
|
Kovid Goyal
|
5035ed61ee
|
More typing work
|
2020-03-04 06:26:02 +05:30 |
|
Kovid Goyal
|
a4cc10c41b
|
More typing work
|
2020-03-04 06:10:57 +05:30 |
|
Kovid Goyal
|
5730ce5f53
|
More typing work
|
2020-03-03 20:18:24 +05:30 |
|
Kovid Goyal
|
27524bfc3d
|
Restore global key definitions so as not to break third party kittens that might use them
|
2020-03-03 15:06:10 +05:30 |
|
Kovid Goyal
|
8843ded1c9
|
Refactor key encoding
Cannot have key names in global namespace as not all key names are valid
python identifiers. So move them into a dict.
|
2020-03-03 14:54:30 +05:30 |
|
Kovid Goyal
|
64b497589f
|
Start adding typing info
|
2020-03-03 14:31:25 +05:30 |
|
Kovid Goyal
|
ee48fd7151
|
...
|
2020-03-03 12:25:02 +05:30 |
|
Kovid Goyal
|
291cd5e23f
|
Also switch badges in manual
|
2020-03-01 17:13:27 +05:30 |
|
Kovid Goyal
|
be668cfd9a
|
Switch status badge to github actions
|
2020-03-01 17:11:39 +05:30 |
|
Kovid Goyal
|
f889c1c75a
|
Switch to using GitHub actions for CI
|
2020-03-01 17:02:53 +05:30 |
|
Kovid Goyal
|
55c5f3e9fd
|
...
|
2020-02-29 11:17:01 +05:30 |
|
Kovid Goyal
|
242d335095
|
A new `copy_and_clear_or_interrupt` function
Fixes #2403
|
2020-02-28 21:17:05 +05:30 |
|
Kovid Goyal
|
c763db94ce
|
Fix #2401
|
2020-02-28 10:28:01 +05:30 |
|