0c8d33b
Merge pull request #1192 from zed-industries/fix-autoscroll-on-cursor-click
Click to expand commit body
Autoscroll to newest selection when adding it via the cursor
Antonio Scandurra
created
4750727
Autoscroll to newest selection when adding it via the cursor
Antonio Scandurra
created
16ef5f4
Merge pull request #1191 from zed-industries/show-split-actions
Click to expand commit body
Replace `pane::Split` action with `Split{Left,Up,Right,Down}`
Antonio Scandurra
created
da1eb91
Replace `pane::Split` action with `Split{Left,Up,Right,Down}`
Click to expand commit body
This allows us to show them in the command palette.
Antonio Scandurra
created
fa942e6
Merge pull request #1190 from zed-industries/fix-surround-with-pairs
Click to expand commit body
Fix surrounding text with bracket pairs with multiple selections
Antonio Scandurra
created
7a81983
Fix surrounding text with bracket pairs with multiple selections
Click to expand commit body
This was probably a regression that was introduced with the new batched
`Buffer::edit` API and was caused by providing selection ranges in a
non-ordered fashion (we were passing all the starts first and then all the
ends).
With this commit we are adding a unit test to verify the behavior of
`Editor::surround_with_bracket_pair` and changing the order in which
we pass edit ranges to respect the selection order.
Antonio Scandurra
created
d95e1e6
Merge pull request #1189 from zed-industries/improve-metrics
Click to expand commit body
Exclude staff from metrics and start tracking active projects
a85f9e7
Harvest the latest metrics when `/metrics` is requested
Click to expand commit body
Now that we track active projects, if nothing happens to the store
during the activity timeout we would still serve some old metrics
that may not account for the staleness of a project.
This commit changes it so that we grab a mutable reference to the store
before serving the metrics, which has the side effect of updating
all the metrics.
bf0fda3
Merge pull request #1174 from zed-industries/bulk-user-creation
Click to expand commit body
Expose a new `POST /api/bulk_users` API to create many users at once
Antonio Scandurra
created
49d7b4b
Allow specifying `query`, `limit` and `page` when hitting `/api/users`
Click to expand commit body
This is needed to introduce pagination and search in our admin panel.
Antonio Scandurra
created
fe1a861
Expose a new `POST /api/bulk_users` API to create many users at once
Click to expand commit body
This API will accept a vector of JSON entries containing the GitHub login,
the email address and the invite count. If that user already exist, the
invite count will be updated to the new one.