few small fixes

This commit is contained in:
Fabian Freund
2025-04-25 20:42:01 +02:00
parent f1cccc92d5
commit d4ba9c08f5
5 changed files with 10 additions and 3 deletions
@@ -256,6 +256,10 @@ class TabRepository extends _$TabRepository {
final syncTabs =
next.value.isNotEmpty || (previous?.value.isNotEmpty ?? false);
if (_previousTabId != null && !next.value.contains(_previousTabId)) {
_previousTabId = null;
}
if (syncTabs) {
await db.tabDao.syncTabs(retainTabIds: next.value);
}
@@ -49,6 +49,7 @@ class FeedSearch extends HookConsumerWidget {
return MultiSliver(
children: [
const SliverToBoxAdapter(child: Divider()),
SliverToBoxAdapter(
child: Padding(
padding: const EdgeInsets.only(left: 16.0),
@@ -65,6 +65,7 @@ class TabSearch extends HookConsumerWidget {
return MultiSliver(
children: [
const SliverToBoxAdapter(child: Divider()),
SliverToBoxAdapter(
child: Padding(
padding: const EdgeInsets.only(left: 16.0),
@@ -8,6 +8,7 @@ typedef DocumentParts = ({String mainDocumentId, List<Document> parts});
List<Document> _mergeShortDocuments(
List<Document> documents,
int maxLength, {
// ignore: unused_element_parameter
String separator = '\n',
required Document Function(Document a, Document b) doMerge,
int Function(String) lengthFunction = TextSplitter.defaultLengthFunction,
@@ -89,10 +89,10 @@ class GeckoBrowserApiImpl : GeckoBrowserApi {
synchronized(this) {
if(!isGeckoInitialized) {
Log.addSink(AndroidLogSink())
}
setupGeckoEngine()
isGeckoInitialized = true
setupGeckoEngine()
isGeckoInitialized = true
}
}
}