Kirill Bulatov 8985fd87c2 Fix different kinds values used for worktree_id (#17523)

2024-09-07 00:51:09 -04:00

..

editable_setting_control.rs

settings_ui: Add theme settings controls (#15115)

2024-07-24 16:25:52 -04:00

json_schema.rs

Factor out construction of font-related JSON schemas (#15341)

2024-07-27 12:28:50 -04:00

keymap_file.rs

chore: Fix several style lints (#17488)

2024-09-06 11:58:39 +02:00

settings_file.rs

keymap: Show error notification when keymap is invalid (#15977)

2024-08-08 14:11:46 +02:00

settings_store.rs

Fix different kinds values used for worktree_id (#17523)

2024-09-07 00:51:09 -04:00

settings.rs

Fix different kinds values used for worktree_id (#17523)

2024-09-07 00:51:09 -04:00