mirror of
https://github.com/Dr-Blank/Vaani.git
synced 2025-12-21 02:19:30 +00:00
feat: enhance library selection UI with refresh functionality and error handling
This commit is contained in:
parent
90111551d0
commit
6ce4537985
3 changed files with 96 additions and 38 deletions
|
|
@ -6,7 +6,7 @@ part of 'library_provider.dart';
|
|||
// RiverpodGenerator
|
||||
// **************************************************************************
|
||||
|
||||
String _$currentLibraryHash() => r'f37904b8b43c88a523696d1ed7acf871c3e3326f';
|
||||
String _$currentLibraryHash() => r'1b41abb16566d91cd5961973e45bccaad7c49c9a';
|
||||
|
||||
/// Copied from Dart SDK
|
||||
class _SystemHash {
|
||||
|
|
@ -157,7 +157,7 @@ class _CurrentLibraryProviderElement
|
|||
String get id => (origin as CurrentLibraryProvider).id;
|
||||
}
|
||||
|
||||
String _$librariesHash() => r'a79954d0b68a8265859c577e36d5596620a72843';
|
||||
String _$librariesHash() => r'a57828f3b875d56db6c5815d051eca93695aefe2';
|
||||
|
||||
/// See also [Libraries].
|
||||
@ProviderFor(Libraries)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue