8000 Layout improvements of the filter for boards and libs manager by francescospissu · Pull Request #1369 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
Skip to content

Layout improvements of the filter for boards and libs manager #1369

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 22 commits into from
Closed

Layout improvements of the filter for boards and libs manager #1369

Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
00959d2
Lib search API
Aug 27, 2022
28a506b
Do not start tasks to reset scroll in pref editor.
Aug 27, 2022
168bbf1
Do not limit lib search results.
Aug 27, 2022
5600f9d
Virtualized list item rendering.
Aug 27, 2022
ca3b754
Disabled scrolling in widget.
Aug 27, 2022
a4a91d6
Reset scrollbar on update.
Aug 27, 2022
2b0d397
Generic type for the search options.
Aug 27, 2022
3ae1338
Restored raw stylings.
Aug 27, 2022
2e8ce5b
Moved focus tracing inside item.
Aug 28, 2022
d769858
initial filter UI
Aug 28, 2022
a0463a0
Basic filter.
Aug 28, 2022
6f4b6b5
Basic style.
Aug 28, 2022
0325182
check for updates contrib.
Aug 29, 2022
ecef208
Translate search option props.
Aug 29, 2022
e00fa2b
Can reset types from an action.
Aug 29, 2022
b3e20e4
align message.
Aug 29, 2022
36d8fe1
removed comments.
Aug 29, 2022
337f48a
API cleanup.
Aug 30, 2022
b3d1fe8
Updated message when running tasks.
Aug 30, 2022
05f340b
use flex display per filter
Aug 30, 2022
3776d92
Show no match.
Aug 30, 2022
f693 8000 f85
filter bar improvements
francescospissu Aug 30, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Basic style. 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
  • Loading branch information
Akos Kitta committed Aug 28, 2022
commit 6f4b6b5c16cd0defc99f09db462f66f515493fb2
4 changes: 4 additions & 0 deletions arduino-ide-extension/src/browser/style/list-widget.css
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,10 @@
margin: 0px 10px 5px 15px;
}

.arduino-list-widget .filter-bar > * {
padding: 0px 5px 0px 0px;
}

.filterable-list-container {
display: flex;
flex-direction: column;
Expand Down
0