|
header
|
fix: tab name width calculating (#58)
|
2023-08-15 07:32:15 +08:00 |
|
input
|
fix: selection rect out of bounds (#59)
|
2023-08-15 07:33:25 +08:00 |
|
manager
|
feat: custom manager layout (#76)
|
2023-08-20 10:39:05 +08:00 |
|
select
|
fix: crashes caused by pop-up components (#52)
|
2023-08-14 07:27:54 +08:00 |
|
status
|
feat: prepare for Windows (#44)
|
2023-08-19 11:10:26 +08:00 |
|
tasks
|
refactor: introduce Clippy (#38)
|
2023-08-09 14:36:19 +08:00 |
|
which
|
refactor: introduce Clippy (#38)
|
2023-08-09 14:36:19 +08:00 |
|
app.rs
|
feat: prepare for Windows (#44)
|
2023-08-19 11:10:26 +08:00 |
|
context.rs
|
feat: prepare for Windows (#44)
|
2023-08-19 11:10:26 +08:00 |
|
executor.rs
|
feat: sort naturally (#82)
|
2023-08-26 11:15:07 +08:00 |
|
root.rs
|
refactor: use workspace to speed up builds (#13)
|
2023-08-02 10:29:49 +08:00 |
|
signals.rs
|
feat: prepare for Windows (#44)
|
2023-08-19 11:10:26 +08:00 |
