| .. |
|
doc
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
edit_panel
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
export
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
favorite
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
home
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
menu
|
feat: open workspace, rename workspace and update workspace icon (#4818)
|
2024-03-05 13:51:03 +08:00 |
|
notifications
|
chore: code cleanup according to unintroduced lints (#4488)
|
2024-01-25 23:37:36 +08:00 |
|
recent
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
settings
|
feat: feature flag in settings page (#4833)
|
2024-03-07 09:28:58 +08:00 |
|
sidebar
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
tabs
|
fix: dispose of resources in time (#4625)
|
2024-02-07 18:38:53 +01:00 |
|
user
|
feat: support changing the workspace icon (#4898)
|
2024-03-15 14:10:30 +08:00 |
|
view
|
feat: use result instead of either (#4724)
|
2024-02-24 21:54:10 +08:00 |
|
view_info
|
feat: word and char count (#4705)
|
2024-02-25 16:46:13 +01:00 |
|
workspace
|
feat: show the workspace list on top-left corner (#4799)
|
2024-03-04 10:43:00 +08:00 |
|
appearance_defaults.dart
|
feat: customized cursor and selection color (#4168)
|
2023-12-21 09:34:25 +08:00 |
