| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-01-07 | hover/signature cancellation | pommicket | |
| 2023-01-07 | improve request cancellation, fix hover bug | pommicket | |
| 2023-01-03 | use different keys for hover+highlights to be less distracting | pommicket | |
| 2023-01-02 | clean some stuff up | pommicket | |
| 2023-01-02 | finish restructuring | pommicket | |
| 2023-01-02 | restructure ide-*.c | pommicket | |
| 2022-12-31 | hover-time setting | pommicket | |
| 2022-12-30 | clip highlight to buffer rect | pommicket | |
| 2022-12-30 | textDocument/references request | pommicket | |
| 2022-12-30 | document highlights! | pommicket | |
| 2022-12-30 | fixed hover bug | pommicket | |
| 2022-12-29 | textDocument/definition for ctrl+click | pommicket | |
 |
index : ted.git | |
| A text editor. | root |
| summaryrefslogtreecommitdiff |
path: root/ide-hover.c