pierre/MusicPlayer
1
0
Fork 0
Code Issues Pull Requests 1 Projects Releases Wiki Activity

Improve a little filter box

Browse Source
This commit is contained in:
Pierre HUBERT 2022-10-01 16:15:31 +02:00
parent e4594626ed
commit ba6f92e168
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/ui/music_player.dart
View File

@ -441,6 +441,8 @@ class _MusicPlayerState extends State<MusicPlayer> {
return Column( return Column(
children: [ children: [
fluent.TextBox( fluent.TextBox(
decoration: const BoxDecoration(border: Border()),
minHeight: 20,
controller: _filterController, controller: _filterController,
placeholder: "Filter list...", placeholder: "Filter list...",
onChanged: (s) => _refreshFilteredList(), onChanged: (s) => _refreshFilteredList(),