Age | Commit message (Expand) | Author |
---|---|---|
2023-03-03 | configurable hover/highlight key + better key stuff | pommicket |
2023-03-03 | different read/write colors for ide-highlights | pommicket |
2023-01-07 | better request cancellation system | pommicket |
2023-01-04 | more documentation | pommicket |
2023-01-03 | use different keys for hover+highlights to be less distracting | pommicket |
2023-01-02 | restructure ide-*.c | pommicket |
2022-12-31 | highlight-enabled and highlight-auto settings | pommicket |
2022-12-30 | clip highlight to buffer rect | pommicket |
2022-12-30 | document highlights! | pommicket |
2022-12-30 | start document highlights | pommicket |