![]() When clicking the checkbox label fire the toggle action. At first I wasn't sure this is what we wanted, but after looking at a few existing implementations of checkboxes with labels it seems like this is reasonably standard. Eventually this piece of UI will be updated to a CheckboxWithLabel, but for now it is custom due to some specific style requirements. Release Notes: - N/A |
||
---|---|---|
.. | ||
git_panel.rs | ||
git_panel_settings.rs | ||
git_ui.rs | ||
repository_selector.rs |