feat(app): the UI foundation: theme, tabs and routes, strings
The app gets its look and navigation before more features land on them.
- Theme (core/theme/): hand-written light and dark Material 3 colour schemes around
cobalt and copper; ThemeExtras for the colours Material has no role for (states, the
four FSRS ratings); the 20 colours a person can give content. Tests hold text to WCAG
AA contrast on each palette colour and on the dark theme's primary colour and surface.
- Layout and shared widgets: Material 3's window-size classes (core/layout/);
SectionCard, AppLoadingIndicator, confirmDestructiveAction and FoundById
(core/widget/). Lucide icons.
- Navigation with go_router: four tabs (Home, Library, Explore, Profile), each keeping
its own stack of screens, as a navigation rail with the app's icon from 600 dp and as
a navigation bar below; choosing the open tab again returns to its first screen. A
studyset's screen sits in the library; studying, cards and settings cover the tabs.
- Routes carry ids: FoundById finds the item in the repository's live list, so a
studyset deleted on another device, or an old link, says it no longer exists. A
screen that deletes its own item keeps showing it while it closes, rather than
flashing that message.
- Every person gets an app of their own (PersonApp, lib/src/app/): a
MaterialApp.router with its own GoRouter and PersonScope around the navigator, built
by SessionGate inside the person's keyed subtree. Screens read the person's
repositories wherever they are built, so the static route() helpers and the listener
that closed every pushed screen on a change of person are gone: a change of person
now disposes the whole router and starts again at home.
- The account dialog becomes the Profile tab, with Settings (sign out, delete the
account, About) behind a gear. A waiting GitHub sign-in now keeps waiting while
another tab shows; a change of person still cancels it.
- The new screens' strings come from Flutter's gen-l10n (English for now). The
generated files are committed, left out of analysis and formatting, and written
anew by `flutter pub get`, so CI's check of generated code also catches stale ones.
Widget tests now start the whole app (test/support/pump_app.dart) at the screen's path
and move through it as a person would, by tabs and taps.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:18:31 +02:00
import ' dart:async ' ;
import ' package:flutter/foundation.dart ' ;
import ' package:flutter/widgets.dart ' ;
import ' package:flutter_localizations/flutter_localizations.dart ' ;
import ' package:intl/intl.dart ' as intl ;
import ' app_localizations_en.dart ' ;
// ignore_for_file: type=lint
/// Callers can lookup localized strings with an instance of AppLocalizations
/// returned by `AppLocalizations.of(context)`.
///
/// Applications need to include `AppLocalizations.delegate()` in their app's
/// `localizationDelegates` list, and the locales they support in the app's
/// `supportedLocales` list. For example:
///
/// ```dart
/// import 'l10n/app_localizations.dart';
///
/// return MaterialApp(
/// localizationsDelegates: AppLocalizations.localizationsDelegates,
/// supportedLocales: AppLocalizations.supportedLocales,
/// home: MyApplicationHome(),
/// );
/// ```
///
/// ## Update pubspec.yaml
///
/// Please make sure to update your pubspec.yaml to include the following
/// packages:
///
/// ```yaml
/// dependencies:
/// # Internationalization support.
/// flutter_localizations:
/// sdk: flutter
/// intl: any # Use the pinned version from flutter_localizations
///
/// # Rest of dependencies
/// ```
///
/// ## iOS Applications
///
/// iOS applications define key application metadata, including supported
/// locales, in an Info.plist file that is built into the application bundle.
/// To configure the locales supported by your app, you’ ll need to edit this
/// file.
///
/// First, open your project’ s ios/Runner.xcworkspace Xcode workspace file.
/// Then, in the Project Navigator, open the Info.plist file under the Runner
/// project’ s Runner folder.
///
/// Next, select the Information Property List item, select Add Item from the
/// Editor menu, then select Localizations from the pop-up menu.
///
/// Select and expand the newly-created Localizations item then, for each
/// locale your application supports, add a new item and select the locale
/// you wish to add from the pop-up menu in the Value field. This list should
/// be consistent with the languages listed in the AppLocalizations.supportedLocales
/// property.
abstract class AppLocalizations {
AppLocalizations ( String locale )
: localeName = intl . Intl . canonicalizedLocale ( locale . toString ( ) ) ;
final String localeName ;
static AppLocalizations of ( BuildContext context ) {
return Localizations . of < AppLocalizations > ( context , AppLocalizations ) ! ;
}
static const LocalizationsDelegate < AppLocalizations > delegate =
_AppLocalizationsDelegate ( ) ;
/// A list of this localizations delegate along with the default localizations
/// delegates.
///
/// Returns a list of localizations delegates containing this delegate along with
/// GlobalMaterialLocalizations.delegate, GlobalCupertinoLocalizations.delegate,
/// and GlobalWidgetsLocalizations.delegate.
///
/// Additional delegates can be added by appending to this list in
/// MaterialApp. This list does not have to be used at all if a custom list
/// of delegates is preferred or required.
static const List < LocalizationsDelegate < dynamic > > localizationsDelegates =
< LocalizationsDelegate < dynamic > > [
delegate ,
GlobalMaterialLocalizations . delegate ,
GlobalCupertinoLocalizations . delegate ,
GlobalWidgetsLocalizations . delegate ,
] ;
/// A list of this localizations delegate's supported locales.
static const List < Locale > supportedLocales = < Locale > [ Locale ( ' en ' ) ] ;
/// The app's name, e.g. in the window title and the rail's logo.
///
/// In en, this message translates to:
/// **'Halkyon Learn'**
String get appTitle ;
/// No description provided for @shellTabHome.
///
/// In en, this message translates to:
/// **'Home'**
String get shellTabHome ;
/// No description provided for @shellTabLibrary.
///
/// In en, this message translates to:
/// **'Library'**
String get shellTabLibrary ;
/// No description provided for @shellTabExplore.
///
/// In en, this message translates to:
/// **'Explore'**
String get shellTabExplore ;
/// No description provided for @shellTabProfile.
///
/// In en, this message translates to:
/// **'Profile'**
String get shellTabProfile ;
/// No description provided for @homeTitle.
///
/// In en, this message translates to:
/// **'Home'**
String get homeTitle ;
/// No description provided for @homeLibraryIntro.
///
/// In en, this message translates to:
/// **'Your studysets and cards are in your library.'**
String get homeLibraryIntro ;
/// No description provided for @homeOpenLibrary.
///
/// In en, this message translates to:
/// **'Open library'**
String get homeOpenLibrary ;
/// No description provided for @libraryTitle.
///
/// In en, this message translates to:
/// **'Library'**
String get libraryTitle ;
feat(app): the library: a grid of studyset cards, search and archive
The library tab becomes a grid of studyset cards (up to 400 dp wide, all
equally tall), starred ones first, and the archive as a section of its own
below, closed until opened and counting what rests there. It lists the top
level: studysets without a parent, those whose parent is gone, and those in
a cycle (ADR 0004). Each card's progress follows the studysets and every
change of a card, here or synced, and is worked out again after a study
session; a slow, older working out never overwrites a newer one.
- Search: a field below the app bar filters by title and secondary title,
opens the archive while it finds something there, and says when nothing
matches; closing it shows everything again.
- Creating and editing: a sheet with the title, the secondary title (typed
in capitals, as every surface shows it) and the colour, picked from the
palette's twenty, whose names are localised; a new studyset is cobalt,
and an existing one keeps its colour, even one only a newer app version
knows, until another is picked. Create waits for a title. Closing the
sheet with changes asks first. It can't be swiped away: a bottom sheet
swiped away closes without asking its PopScope (Flutter issue 152120,
still open), so such sheets have no drag handle and close by their close
button, the back gesture or a tap beside them, which all ask.
- Archiving doesn't ask, since nothing is lost; it offers to undo, as does
unarchiving. Deleting asks, then deletes the studyset with its cards, each
blanked first.
- The create button floats in compact windows and slides away while
reading onwards; from medium windows on it sits in the app bar.
The old list and its title-only dialog are gone; the studyset screen's
tests create studysets through the sheet.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:53:51 +02:00
/// No description provided for @libraryNewStudyset.
///
/// In en, this message translates to:
/// **'New studyset'**
String get libraryNewStudyset ;
/// No description provided for @libraryEmpty.
///
/// In en, this message translates to:
/// **'No studysets yet'**
String get libraryEmpty ;
/// No description provided for @libraryUnreadable.
///
/// In en, this message translates to:
/// **'Couldn\'t read your studysets.'**
String get libraryUnreadable ;
/// No description provided for @libraryArchivedSection.
///
/// In en, this message translates to:
/// **'Archived'**
String get libraryArchivedSection ;
/// No description provided for @librarySearchTooltip.
///
/// In en, this message translates to:
/// **'Search'**
String get librarySearchTooltip ;
/// No description provided for @librarySearchHint.
///
/// In en, this message translates to:
/// **'Search studysets'**
String get librarySearchHint ;
/// No description provided for @librarySearchClearTooltip.
///
/// In en, this message translates to:
/// **'Clear query'**
String get librarySearchClearTooltip ;
/// No description provided for @librarySearchCloseTooltip.
///
/// In en, this message translates to:
/// **'Close search'**
String get librarySearchCloseTooltip ;
/// No description provided for @librarySearchNoMatches.
///
/// In en, this message translates to:
/// **'No studysets match your search'**
String get librarySearchNoMatches ;
/// No description provided for @libraryStudysetArchived.
///
/// In en, this message translates to:
/// **'Studyset archived'**
String get libraryStudysetArchived ;
/// No description provided for @libraryStudysetUnarchived.
///
/// In en, this message translates to:
/// **'Studyset unarchived'**
String get libraryStudysetUnarchived ;
2026-10-01 08:55:39 +02:00
/// No description provided for @libraryStudysetDeleted.
///
/// In en, this message translates to:
/// **'Studyset deleted'**
String get libraryStudysetDeleted ;
feat(app): the library: a grid of studyset cards, search and archive
The library tab becomes a grid of studyset cards (up to 400 dp wide, all
equally tall), starred ones first, and the archive as a section of its own
below, closed until opened and counting what rests there. It lists the top
level: studysets without a parent, those whose parent is gone, and those in
a cycle (ADR 0004). Each card's progress follows the studysets and every
change of a card, here or synced, and is worked out again after a study
session; a slow, older working out never overwrites a newer one.
- Search: a field below the app bar filters by title and secondary title,
opens the archive while it finds something there, and says when nothing
matches; closing it shows everything again.
- Creating and editing: a sheet with the title, the secondary title (typed
in capitals, as every surface shows it) and the colour, picked from the
palette's twenty, whose names are localised; a new studyset is cobalt,
and an existing one keeps its colour, even one only a newer app version
knows, until another is picked. Create waits for a title. Closing the
sheet with changes asks first. It can't be swiped away: a bottom sheet
swiped away closes without asking its PopScope (Flutter issue 152120,
still open), so such sheets have no drag handle and close by their close
button, the back gesture or a tap beside them, which all ask.
- Archiving doesn't ask, since nothing is lost; it offers to undo, as does
unarchiving. Deleting asks, then deletes the studyset with its cards, each
blanked first.
- The create button floats in compact windows and slides away while
reading onwards; from medium windows on it sits in the app bar.
The old list and its title-only dialog are gone; the studyset screen's
tests create studysets through the sheet.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:53:51 +02:00
/// No description provided for @libraryDeleteTitle.
///
/// In en, this message translates to:
/// **'Delete studyset?'**
String get libraryDeleteTitle ;
/// No description provided for @libraryDeleteMessage.
///
/// In en, this message translates to:
feat(app): the studyset screen with its topics, the tree's own screen
A studyset's screen, as decided with the tree (2026-09-30/10-01):
- A breadcrumb from the library down to the studyset; its steps go up
(replacing the location, so back leads further up), and steps that
don't fit fold into a "…" listing them, nearest first.
- From expanded windows on, two columns: the description over the topics,
the flashcards beside them, Study and Add material in the app bar. Below
that, the topics are in a drawer, opened from a bar at the bottom that
also holds Study and Add material and slides away while reading onwards;
the back button stays where a drawer would have taken its place.
- The topics: "All topics" for the whole studyset, then the studysets
inside it in their order, each with the study it invites, what it holds
and its options (edit, delete), opening on top of this screen; a switch
rearranges them by dragging; "New sub-studyset" creates one inside.
- Study covers the studyset with everything inside it ("Learn 12" while
something is due). Add material offers flashcards for now.
- Options: Edit (the sheet, now with the description, edited in the whole
window, and for a studyset inside another the colour of the one it is
in, which a new one takes at first), Move to… (the tree and the top
level, without the studyset itself and what is inside it), Archive or
Unarchive with Undo, Delete with Undo, which closes the screen.
- The description cut short when long, the whole a tap away; the licence
as the last line, linking to its text where that is known.
The list's bloc, scoped to a parent, lists its children, works out the
studyset's own progress, creates inside it, reorders and moves. The card
list leaves adding and studying to the screen. The inline editing of the
title and description, and its bloc, are gone.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 12:59:20 +02:00
/// **'It is deleted with everything inside it and all their cards, on all your devices. You can undo this for a few seconds.'**
feat(app): the library: a grid of studyset cards, search and archive
The library tab becomes a grid of studyset cards (up to 400 dp wide, all
equally tall), starred ones first, and the archive as a section of its own
below, closed until opened and counting what rests there. It lists the top
level: studysets without a parent, those whose parent is gone, and those in
a cycle (ADR 0004). Each card's progress follows the studysets and every
change of a card, here or synced, and is worked out again after a study
session; a slow, older working out never overwrites a newer one.
- Search: a field below the app bar filters by title and secondary title,
opens the archive while it finds something there, and says when nothing
matches; closing it shows everything again.
- Creating and editing: a sheet with the title, the secondary title (typed
in capitals, as every surface shows it) and the colour, picked from the
palette's twenty, whose names are localised; a new studyset is cobalt,
and an existing one keeps its colour, even one only a newer app version
knows, until another is picked. Create waits for a title. Closing the
sheet with changes asks first. It can't be swiped away: a bottom sheet
swiped away closes without asking its PopScope (Flutter issue 152120,
still open), so such sheets have no drag handle and close by their close
button, the back gesture or a tap beside them, which all ask.
- Archiving doesn't ask, since nothing is lost; it offers to undo, as does
unarchiving. Deleting asks, then deletes the studyset with its cards, each
blanked first.
- The create button floats in compact windows and slides away while
reading onwards; from medium windows on it sits in the app bar.
The old list and its title-only dialog are gone; the studyset screen's
tests create studysets through the sheet.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:53:51 +02:00
String get libraryDeleteMessage ;
/// No description provided for @libraryDeleteConfirm.
///
/// In en, this message translates to:
/// **'Delete'**
String get libraryDeleteConfirm ;
/// No description provided for @studysetSheetCreateTitle.
///
/// In en, this message translates to:
/// **'Create studyset'**
String get studysetSheetCreateTitle ;
/// No description provided for @studysetSheetEditTitle.
///
/// In en, this message translates to:
/// **'Edit studyset'**
String get studysetSheetEditTitle ;
/// No description provided for @studysetSheetCreate.
///
/// In en, this message translates to:
/// **'Create'**
String get studysetSheetCreate ;
/// No description provided for @studysetSheetSave.
///
/// In en, this message translates to:
/// **'Save'**
String get studysetSheetSave ;
/// No description provided for @studysetSheetTitleLabel.
///
/// In en, this message translates to:
/// **'Title'**
String get studysetSheetTitleLabel ;
/// No description provided for @studysetSheetSecondaryLabel.
///
/// In en, this message translates to:
/// **'Secondary title'**
String get studysetSheetSecondaryLabel ;
/// No description provided for @studysetSheetSecondaryHelper.
///
/// In en, this message translates to:
/// **'Shown as a small label above the title.'**
String get studysetSheetSecondaryHelper ;
/// No description provided for @studysetSheetColor.
///
/// In en, this message translates to:
/// **'Color'**
String get studysetSheetColor ;
/// No description provided for @studysetSheetDiscardTitle.
///
/// In en, this message translates to:
/// **'Discard changes?'**
String get studysetSheetDiscardTitle ;
/// No description provided for @studysetSheetDiscardMessage.
///
/// In en, this message translates to:
/// **'You have unsaved changes to this studyset. Discard them and close the form?'**
String get studysetSheetDiscardMessage ;
/// No description provided for @studysetSheetDiscardConfirm.
///
/// In en, this message translates to:
/// **'Discard'**
String get studysetSheetDiscardConfirm ;
/// A colour of the palette content can take, by its stored name.
///
/// In en, this message translates to:
/// **'{name, select, carrot{Carrot} cerise{Cerise} cobalt{Cobalt} copper{Copper} enzian{Enzian} fern{Fern} forest{Forest} ocean{Ocean} olive{Olive} pacific{Pacific} pickle{Pickle} pine{Pine} pink{Pink} plum{Plum} purple{Purple} reef{Reef} sahara{Sahara} slateblue{Slate blue} soil{Soil} strawberry{Strawberry} other{{name}}}'**
String paletteColorName ( String name ) ;
/// No description provided for @colorPickerLabel.
///
/// In en, this message translates to:
/// **'Color: {color}'**
String colorPickerLabel ( String color ) ;
feat(app): the library's studyset card
A studyset in the library: a bar in its colour, its title with the secondary
title as a kicker, what it holds, and beside the title the action it
invites inside a ring its mature cards fill, with a badge counting the due
cards (at most "99+", growing inwards so it never passes the card's edge).
The action is a review when reviews are due, studying when only new cards
are, and adding content otherwise, which opens the studyset: the card only
invites a session that has something to study. A long press stars it, as
does the star, which a hovering pointer reveals and which stays while
starred; the options edit, archive or unarchive, and delete it. An archived
studyset rests: dimmed, neutral, paused. Until its progress is known, a
muted bar stands in for "No content yet", which it might not be.
A starred star is amber, dark enough in the light theme to stand out from
the cards as a graphic must (3:1), a colour the theme extras now hold. It is
Material's filled star: Lucide has no filled one, and the fill is what says
the star is on.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:40:52 +02:00
/// No description provided for @studysetCountFlashcards.
///
/// In en, this message translates to:
/// **'{count, plural, =1{1 flashcard} other{{count} flashcards}}'**
String studysetCountFlashcards ( int count ) ;
/// No description provided for @studysetNoContent.
///
/// In en, this message translates to:
/// **'No content yet'**
String get studysetNoContent ;
/// No description provided for @studysetActionReview.
///
/// In en, this message translates to:
/// **'Review'**
String get studysetActionReview ;
/// No description provided for @studysetActionStudy.
///
/// In en, this message translates to:
/// **'Study'**
String get studysetActionStudy ;
/// No description provided for @studysetActionAdd.
///
/// In en, this message translates to:
/// **'Add content'**
String get studysetActionAdd ;
/// No description provided for @studysetArchived.
///
/// In en, this message translates to:
/// **'Archived'**
String get studysetArchived ;
/// No description provided for @studysetStar.
///
/// In en, this message translates to:
/// **'Star'**
String get studysetStar ;
/// No description provided for @studysetUnstar.
///
/// In en, this message translates to:
/// **'Unstar'**
String get studysetUnstar ;
/// No description provided for @studysetOptions.
///
/// In en, this message translates to:
/// **'Options'**
String get studysetOptions ;
/// No description provided for @studysetMenuEdit.
///
/// In en, this message translates to:
/// **'Edit'**
String get studysetMenuEdit ;
/// No description provided for @studysetMenuArchive.
///
/// In en, this message translates to:
/// **'Archive'**
String get studysetMenuArchive ;
/// No description provided for @studysetMenuUnarchive.
///
/// In en, this message translates to:
/// **'Unarchive'**
String get studysetMenuUnarchive ;
/// No description provided for @studysetMenuDelete.
///
/// In en, this message translates to:
/// **'Delete'**
String get studysetMenuDelete ;
feat(app): the studyset screen with its topics, the tree's own screen
A studyset's screen, as decided with the tree (2026-09-30/10-01):
- A breadcrumb from the library down to the studyset; its steps go up
(replacing the location, so back leads further up), and steps that
don't fit fold into a "…" listing them, nearest first.
- From expanded windows on, two columns: the description over the topics,
the flashcards beside them, Study and Add material in the app bar. Below
that, the topics are in a drawer, opened from a bar at the bottom that
also holds Study and Add material and slides away while reading onwards;
the back button stays where a drawer would have taken its place.
- The topics: "All topics" for the whole studyset, then the studysets
inside it in their order, each with the study it invites, what it holds
and its options (edit, delete), opening on top of this screen; a switch
rearranges them by dragging; "New sub-studyset" creates one inside.
- Study covers the studyset with everything inside it ("Learn 12" while
something is due). Add material offers flashcards for now.
- Options: Edit (the sheet, now with the description, edited in the whole
window, and for a studyset inside another the colour of the one it is
in, which a new one takes at first), Move to… (the tree and the top
level, without the studyset itself and what is inside it), Archive or
Unarchive with Undo, Delete with Undo, which closes the screen.
- The description cut short when long, the whole a tap away; the licence
as the last line, linking to its text where that is known.
The list's bloc, scoped to a parent, lists its children, works out the
studyset's own progress, creates inside it, reorders and moves. The card
list leaves adding and studying to the screen. The inline editing of the
title and description, and its bloc, are gone.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 12:59:20 +02:00
/// No description provided for @studysetMenuMove.
///
/// In en, this message translates to:
/// **'Move to…'**
String get studysetMenuMove ;
/// No description provided for @studysetTabFlashcards.
///
/// In en, this message translates to:
/// **'Flashcards'**
String get studysetTabFlashcards ;
/// No description provided for @studysetFlashcardsEmpty.
///
/// In en, this message translates to:
/// **'No flashcards yet'**
String get studysetFlashcardsEmpty ;
/// No description provided for @studysetFlashcardsEmptyHint.
///
/// In en, this message translates to:
/// **'Add some to start studying.'**
String get studysetFlashcardsEmptyHint ;
/// No description provided for @studysetAddMaterial.
///
/// In en, this message translates to:
/// **'Add material'**
String get studysetAddMaterial ;
/// No description provided for @studysetCreateFlashcards.
///
/// In en, this message translates to:
/// **'Create flashcards'**
String get studysetCreateFlashcards ;
/// No description provided for @studysetStudy.
///
/// In en, this message translates to:
/// **'Study'**
String get studysetStudy ;
/// No description provided for @studysetLearnCount.
///
/// In en, this message translates to:
/// **'Learn {count}'**
String studysetLearnCount ( int count ) ;
/// No description provided for @studysetOpenTopics.
///
/// In en, this message translates to:
/// **'Show topics'**
String get studysetOpenTopics ;
/// No description provided for @studysetTopics.
///
/// In en, this message translates to:
/// **'Topics'**
String get studysetTopics ;
/// No description provided for @studysetAllTopics.
///
/// In en, this message translates to:
/// **'All topics'**
String get studysetAllTopics ;
/// No description provided for @studysetNewSubStudyset.
///
/// In en, this message translates to:
/// **'New sub-studyset'**
String get studysetNewSubStudyset ;
/// No description provided for @studysetSubStudysetsEmpty.
///
/// In en, this message translates to:
/// **'No sub-studysets yet.'**
String get studysetSubStudysetsEmpty ;
/// No description provided for @studysetSubStudysetsEmptyHint.
///
/// In en, this message translates to:
/// **'Break this studyset into milestones or lessons.'**
String get studysetSubStudysetsEmptyHint ;
/// No description provided for @studysetReorder.
///
/// In en, this message translates to:
/// **'Reorder'**
String get studysetReorder ;
/// No description provided for @studysetReorderDone.
///
/// In en, this message translates to:
/// **'Done'**
String get studysetReorderDone ;
/// No description provided for @studysetDragToReorder.
///
/// In en, this message translates to:
/// **'Drag to reorder'**
String get studysetDragToReorder ;
/// No description provided for @studysetMoveTitle.
///
/// In en, this message translates to:
/// **'Move studyset to'**
String get studysetMoveTitle ;
/// No description provided for @studysetMoveTopLevel.
///
/// In en, this message translates to:
/// **'Top level'**
String get studysetMoveTopLevel ;
/// No description provided for @studysetMoveCurrent.
///
/// In en, this message translates to:
/// **'Where it is now'**
String get studysetMoveCurrent ;
/// No description provided for @studysetMoveConfirm.
///
/// In en, this message translates to:
/// **'Move'**
String get studysetMoveConfirm ;
/// No description provided for @studysetMoveShowInside.
///
/// In en, this message translates to:
/// **'Show what is inside'**
String get studysetMoveShowInside ;
/// No description provided for @studysetMoveHideInside.
///
/// In en, this message translates to:
/// **'Hide what is inside'**
String get studysetMoveHideInside ;
/// No description provided for @studysetMoved.
///
/// In en, this message translates to:
/// **'Moved to {destination}.'**
String studysetMoved ( String destination ) ;
/// No description provided for @studysetReadMore.
///
/// In en, this message translates to:
/// **'Read more'**
String get studysetReadMore ;
/// No description provided for @studysetDescriptionTitle.
///
/// In en, this message translates to:
/// **'Description'**
String get studysetDescriptionTitle ;
/// No description provided for @studysetDescriptionEditTitle.
///
/// In en, this message translates to:
/// **'Edit description'**
String get studysetDescriptionEditTitle ;
/// No description provided for @studysetDescriptionSave.
///
/// In en, this message translates to:
/// **'Save'**
String get studysetDescriptionSave ;
/// No description provided for @studysetSheetDescription.
///
/// In en, this message translates to:
/// **'Description'**
String get studysetSheetDescription ;
/// No description provided for @studysetSheetDescriptionAdd.
///
/// In en, this message translates to:
/// **'Add a description'**
String get studysetSheetDescriptionAdd ;
/// No description provided for @studysetSheetInheritColor.
///
/// In en, this message translates to:
/// **'Same color as the studyset it is in'**
String get studysetSheetInheritColor ;
feat(app): the UI foundation: theme, tabs and routes, strings
The app gets its look and navigation before more features land on them.
- Theme (core/theme/): hand-written light and dark Material 3 colour schemes around
cobalt and copper; ThemeExtras for the colours Material has no role for (states, the
four FSRS ratings); the 20 colours a person can give content. Tests hold text to WCAG
AA contrast on each palette colour and on the dark theme's primary colour and surface.
- Layout and shared widgets: Material 3's window-size classes (core/layout/);
SectionCard, AppLoadingIndicator, confirmDestructiveAction and FoundById
(core/widget/). Lucide icons.
- Navigation with go_router: four tabs (Home, Library, Explore, Profile), each keeping
its own stack of screens, as a navigation rail with the app's icon from 600 dp and as
a navigation bar below; choosing the open tab again returns to its first screen. A
studyset's screen sits in the library; studying, cards and settings cover the tabs.
- Routes carry ids: FoundById finds the item in the repository's live list, so a
studyset deleted on another device, or an old link, says it no longer exists. A
screen that deletes its own item keeps showing it while it closes, rather than
flashing that message.
- Every person gets an app of their own (PersonApp, lib/src/app/): a
MaterialApp.router with its own GoRouter and PersonScope around the navigator, built
by SessionGate inside the person's keyed subtree. Screens read the person's
repositories wherever they are built, so the static route() helpers and the listener
that closed every pushed screen on a change of person are gone: a change of person
now disposes the whole router and starts again at home.
- The account dialog becomes the Profile tab, with Settings (sign out, delete the
account, About) behind a gear. A waiting GitHub sign-in now keeps waiting while
another tab shows; a change of person still cancels it.
- The new screens' strings come from Flutter's gen-l10n (English for now). The
generated files are committed, left out of analysis and formatting, and written
anew by `flutter pub get`, so CI's check of generated code also catches stale ones.
Widget tests now start the whole app (test/support/pump_app.dart) at the screen's path
and move through it as a person would, by tabs and taps.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:18:31 +02:00
/// No description provided for @exploreTitle.
///
/// In en, this message translates to:
/// **'Explore'**
String get exploreTitle ;
/// No description provided for @exploreEmpty.
///
/// In en, this message translates to:
/// **'Studysets that others share will appear here.'**
String get exploreEmpty ;
/// No description provided for @profileTitle.
///
/// In en, this message translates to:
/// **'Profile'**
String get profileTitle ;
/// No description provided for @profileSettingsTooltip.
///
/// In en, this message translates to:
/// **'Settings'**
String get profileSettingsTooltip ;
/// No description provided for @profileIdentified.
///
/// In en, this message translates to:
/// **'Your progress is kept with your account.'**
String get profileIdentified ;
/// No description provided for @profileAnonymous.
///
/// In en, this message translates to:
/// **'Progress is saved on this device. Sign in to keep it.'**
String get profileAnonymous ;
/// No description provided for @profileSignInWithGitHub.
///
/// In en, this message translates to:
/// **'Sign in with GitHub'**
String get profileSignInWithGitHub ;
/// No description provided for @profileSignInFailed.
///
/// In en, this message translates to:
/// **'Couldn\'t sign in with GitHub.'**
String get profileSignInFailed ;
/// No description provided for @profileContinueInBrowser.
///
/// In en, this message translates to:
/// **'Continue in your browser.'**
String get profileContinueInBrowser ;
/// No description provided for @profileSwitchTitle.
///
/// In en, this message translates to:
/// **'Switch to your GitHub account?'**
String get profileSwitchTitle ;
/// No description provided for @profileSwitchMessage.
///
/// In en, this message translates to:
/// **'This GitHub account already has progress from another device. The studysets on this device can\'t be combined with it yet: if you switch, they are deleted.'**
String get profileSwitchMessage ;
/// No description provided for @profileSwitchStay.
///
/// In en, this message translates to:
/// **'Stay anonymous'**
String get profileSwitchStay ;
/// No description provided for @profileSwitchConfirm.
///
/// In en, this message translates to:
/// **'Switch'**
String get profileSwitchConfirm ;
/// No description provided for @settingsTitle.
///
/// In en, this message translates to:
/// **'Settings'**
String get settingsTitle ;
/// No description provided for @settingsAccount.
///
/// In en, this message translates to:
/// **'Account'**
String get settingsAccount ;
/// No description provided for @settingsSignOut.
///
/// In en, this message translates to:
/// **'Sign out'**
String get settingsSignOut ;
/// No description provided for @settingsSignOutTitle.
///
/// In en, this message translates to:
/// **'Sign out?'**
String get settingsSignOutTitle ;
/// No description provided for @settingsSignOutAnonymousMessage.
///
/// In en, this message translates to:
/// **'This account can\'t be signed into again, so signing out deletes it with its progress.'**
String get settingsSignOutAnonymousMessage ;
/// No description provided for @settingsDeleteAccount.
///
/// In en, this message translates to:
/// **'Delete account'**
String get settingsDeleteAccount ;
/// No description provided for @settingsDeleteTitle.
///
/// In en, this message translates to:
/// **'Delete your account?'**
String get settingsDeleteTitle ;
/// No description provided for @settingsDeleteMessage.
///
/// In en, this message translates to:
/// **'Everything you have, your studysets, cards and reviews, is deleted on the server and on all your devices. This can\'t be undone.'**
String get settingsDeleteMessage ;
/// No description provided for @settingsAbout.
///
/// In en, this message translates to:
/// **'About Halkyon Learn'**
String get settingsAbout ;
2026-10-01 16:57:57 +02:00
/// No description provided for @tagsReadFailed.
///
/// In en, this message translates to:
/// **'Couldn\'t read the tags.'**
String get tagsReadFailed ;
/// No description provided for @tagPickerTitle.
///
/// In en, this message translates to:
/// **'Tags'**
String get tagPickerTitle ;
/// No description provided for @tagPickerManage.
///
/// In en, this message translates to:
/// **'Manage tags'**
String get tagPickerManage ;
/// No description provided for @tagPickerSearchLabel.
///
/// In en, this message translates to:
/// **'Search or create a tag'**
String get tagPickerSearchLabel ;
/// No description provided for @tagPickerCreate.
///
/// In en, this message translates to:
/// **'Create \"{name}\"'**
String tagPickerCreate ( String name ) ;
/// No description provided for @tagSheetCreateTitle.
///
/// In en, this message translates to:
/// **'Create tag'**
String get tagSheetCreateTitle ;
/// No description provided for @tagSheetEditTitle.
///
/// In en, this message translates to:
/// **'Edit tag'**
String get tagSheetEditTitle ;
/// No description provided for @tagSheetNameLabel.
///
/// In en, this message translates to:
/// **'Name'**
String get tagSheetNameLabel ;
/// No description provided for @tagSheetNameHelper.
///
/// In en, this message translates to:
/// **'Stored and displayed in lowercase.'**
String get tagSheetNameHelper ;
/// No description provided for @tagSheetNameExists.
///
/// In en, this message translates to:
/// **'The tag \'{name}\' exists already.'**
String tagSheetNameExists ( String name ) ;
/// No description provided for @tagSheetNameMerges.
///
/// In en, this message translates to:
/// **'There is a tag \'{name}\' already: saving merges this one into it.'**
String tagSheetNameMerges ( String name ) ;
/// No description provided for @tagSheetColor.
///
/// In en, this message translates to:
/// **'Color'**
String get tagSheetColor ;
/// No description provided for @tagSheetCreate.
///
/// In en, this message translates to:
/// **'Create'**
String get tagSheetCreate ;
/// No description provided for @tagSheetSave.
///
/// In en, this message translates to:
/// **'Save'**
String get tagSheetSave ;
/// No description provided for @tagManageTitle.
///
/// In en, this message translates to:
/// **'Manage tags'**
String get tagManageTitle ;
/// No description provided for @tagManageEmpty.
///
/// In en, this message translates to:
/// **'No tags yet. Add one below.'**
String get tagManageEmpty ;
/// No description provided for @tagManageAdd.
///
/// In en, this message translates to:
/// **'Add tag'**
String get tagManageAdd ;
/// A tag in the list of tags, with how many flashcards have it.
///
/// In en, this message translates to:
/// **'{name} ({count})'**
String tagManageRow ( String name , int count ) ;
/// No description provided for @tagManageEdit.
///
/// In en, this message translates to:
/// **'Edit tag'**
String get tagManageEdit ;
/// No description provided for @tagManageDelete.
///
/// In en, this message translates to:
/// **'Delete tag'**
String get tagManageDelete ;
/// No description provided for @tagDeleteTitle.
///
/// In en, this message translates to:
/// **'Delete the tag \'{name}\'?'**
String tagDeleteTitle ( String name ) ;
/// No description provided for @tagDeleteMessage.
///
/// In en, this message translates to:
/// **'{count, plural, =0{It isn\'t on any flashcards.} =1{It is removed from 1 flashcard, on all your devices.} other{It is removed from {count} flashcards, on all your devices.}}'**
String tagDeleteMessage ( int count ) ;
/// No description provided for @tagDeleteConfirm.
///
/// In en, this message translates to:
/// **'Delete'**
String get tagDeleteConfirm ;
/// No description provided for @tagDeleted.
///
/// In en, this message translates to:
/// **'Deleted the tag \'{name}\''**
String tagDeleted ( String name ) ;
2026-10-01 17:30:24 +02:00
/// No description provided for @studySettingsTitle.
///
/// In en, this message translates to:
/// **'Session settings'**
String get studySettingsTitle ;
/// No description provided for @studySettingsFilterByTags.
///
/// In en, this message translates to:
/// **'Filter by tags'**
String get studySettingsFilterByTags ;
/// No description provided for @studySettingsFilterHint.
///
/// In en, this message translates to:
/// **'Study only the flashcards with any of the tags chosen.'**
String get studySettingsFilterHint ;
/// No description provided for @studySettingsNoTags.
///
/// In en, this message translates to:
/// **'No tags yet. Add tags to your flashcards to filter them here.'**
String get studySettingsNoTags ;
/// No description provided for @studySettingsReset.
///
/// In en, this message translates to:
/// **'Reset'**
String get studySettingsReset ;
/// No description provided for @studySettingsSave.
///
/// In en, this message translates to:
/// **'Save'**
String get studySettingsSave ;
2026-10-01 16:57:57 +02:00
/// No description provided for @cardTagsLabel.
///
/// In en, this message translates to:
/// **'Tags'**
String get cardTagsLabel ;
/// No description provided for @cardTagsAdd.
///
/// In en, this message translates to:
/// **'Add tags'**
String get cardTagsAdd ;
/// No description provided for @cardTagsEdit.
///
/// In en, this message translates to:
/// **'Edit tags'**
String get cardTagsEdit ;
/// No description provided for @cardFilterTooltip.
///
/// In en, this message translates to:
/// **'Filter'**
String get cardFilterTooltip ;
/// No description provided for @cardFilterTitle.
///
/// In en, this message translates to:
/// **'Filter'**
String get cardFilterTitle ;
/// No description provided for @cardFilterTag.
///
/// In en, this message translates to:
/// **'Tag'**
String get cardFilterTag ;
/// No description provided for @cardFilterAllTags.
///
/// In en, this message translates to:
/// **'All tags'**
String get cardFilterAllTags ;
/// No description provided for @cardFilterNoTags.
///
/// In en, this message translates to:
/// **'None of these flashcards has a tag yet.'**
String get cardFilterNoTags ;
/// No description provided for @cardFilterClear.
///
/// In en, this message translates to:
/// **'Clear all'**
String get cardFilterClear ;
/// No description provided for @cardFilterApply.
///
/// In en, this message translates to:
/// **'Apply'**
String get cardFilterApply ;
/// No description provided for @cardFilterNothing.
///
/// In en, this message translates to:
/// **'No flashcards have this tag.'**
String get cardFilterNothing ;
/// No description provided for @cardListMore.
///
/// In en, this message translates to:
/// **'More'**
String get cardListMore ;
/// No description provided for @cardListManageTags.
///
/// In en, this message translates to:
/// **'Manage tags'**
String get cardListManageTags ;
feat(app): the UI foundation: theme, tabs and routes, strings
The app gets its look and navigation before more features land on them.
- Theme (core/theme/): hand-written light and dark Material 3 colour schemes around
cobalt and copper; ThemeExtras for the colours Material has no role for (states, the
four FSRS ratings); the 20 colours a person can give content. Tests hold text to WCAG
AA contrast on each palette colour and on the dark theme's primary colour and surface.
- Layout and shared widgets: Material 3's window-size classes (core/layout/);
SectionCard, AppLoadingIndicator, confirmDestructiveAction and FoundById
(core/widget/). Lucide icons.
- Navigation with go_router: four tabs (Home, Library, Explore, Profile), each keeping
its own stack of screens, as a navigation rail with the app's icon from 600 dp and as
a navigation bar below; choosing the open tab again returns to its first screen. A
studyset's screen sits in the library; studying, cards and settings cover the tabs.
- Routes carry ids: FoundById finds the item in the repository's live list, so a
studyset deleted on another device, or an old link, says it no longer exists. A
screen that deletes its own item keeps showing it while it closes, rather than
flashing that message.
- Every person gets an app of their own (PersonApp, lib/src/app/): a
MaterialApp.router with its own GoRouter and PersonScope around the navigator, built
by SessionGate inside the person's keyed subtree. Screens read the person's
repositories wherever they are built, so the static route() helpers and the listener
that closed every pushed screen on a change of person are gone: a change of person
now disposes the whole router and starts again at home.
- The account dialog becomes the Profile tab, with Settings (sign out, delete the
account, About) behind a gear. A waiting GitHub sign-in now keeps waiting while
another tab shows; a change of person still cancels it.
- The new screens' strings come from Flutter's gen-l10n (English for now). The
generated files are committed, left out of analysis and formatting, and written
anew by `flutter pub get`, so CI's check of generated code also catches stale ones.
Widget tests now start the whole app (test/support/pump_app.dart) at the screen's path
and move through it as a person would, by tabs and taps.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-01 00:18:31 +02:00
/// No description provided for @commonCancel.
///
/// In en, this message translates to:
/// **'Cancel'**
String get commonCancel ;
/// No description provided for @commonClose.
///
/// In en, this message translates to:
/// **'Close'**
String get commonClose ;
/// No description provided for @commonUndo.
///
/// In en, this message translates to:
/// **'Undo'**
String get commonUndo ;
/// No description provided for @commonTryAgain.
///
/// In en, this message translates to:
/// **'Try again'**
String get commonTryAgain ;
/// No description provided for @sessionUnreachable.
///
/// In en, this message translates to:
/// **'Couldn\'t reach the server.'**
String get sessionUnreachable ;
/// No description provided for @notFoundGone.
///
/// In en, this message translates to:
/// **'This no longer exists. It may have been deleted on another device.'**
String get notFoundGone ;
}
class _AppLocalizationsDelegate
extends LocalizationsDelegate < AppLocalizations > {
const _AppLocalizationsDelegate ( ) ;
@ override
Future < AppLocalizations > load ( Locale locale ) {
return SynchronousFuture < AppLocalizations > ( lookupAppLocalizations ( locale ) ) ;
}
@ override
bool isSupported ( Locale locale ) = >
< String > [ ' en ' ] . contains ( locale . languageCode ) ;
@ override
bool shouldReload ( _AppLocalizationsDelegate old ) = > false ;
}
AppLocalizations lookupAppLocalizations ( Locale locale ) {
// Lookup logic when only language code is specified.
switch ( locale . languageCode ) {
case ' en ' :
return AppLocalizationsEn ( ) ;
}
throw FlutterError (
' AppLocalizations.delegate failed to load unsupported locale " $ locale ". This is likely '
' an issue with the localizations generation tool. Please file an issue '
' on GitHub with a reproducible sample app and the gen-l10n configuration '
' that was used. ' ,
) ;
}