Add more developer pages (wip)

This commit is contained in:
2025-08-23 02:19:07 +08:00
parent 1232318a5d
commit 7dfe411053
14 changed files with 2270 additions and 15 deletions

View File

@@ -251,6 +251,24 @@ class DeveloperHubScreen extends HookConsumerWidget {
);
},
),
ListTile(
minTileHeight: 48,
title: Text('bots').tr(),
trailing: Icon(Symbols.chevron_right),
leading: const Icon(Symbols.smart_toy),
contentPadding: EdgeInsets.symmetric(
horizontal: 24,
),
onTap: () {
context.pushNamed(
'developerBots',
pathParameters: {
'name':
currentDeveloper.value!.publisher!.name,
},
);
},
),
],
),
),