mirror of
https://github.com/AutoMaker-Org/automaker.git
synced 2026-01-30 06:12:03 +00:00
Merge pull request #535 from stefandevo/v0.12.0rc
feat: add font customization and 8 new themes
This commit is contained in:
@@ -396,6 +396,10 @@ export interface ProjectRef {
|
||||
lastOpened?: string;
|
||||
/** Project-specific theme override (or undefined to use global) */
|
||||
theme?: string;
|
||||
/** Project-specific UI/sans font override (or undefined to use global) */
|
||||
fontFamilySans?: string;
|
||||
/** Project-specific code/mono font override (or undefined to use global) */
|
||||
fontFamilyMono?: string;
|
||||
/** Whether project is pinned to favorites on dashboard */
|
||||
isFavorite?: boolean;
|
||||
/** Lucide icon name for project identification */
|
||||
@@ -463,6 +467,14 @@ export interface GlobalSettings {
|
||||
/** Currently selected theme */
|
||||
theme: ThemeMode;
|
||||
|
||||
// Font Configuration
|
||||
/** Global UI/Sans font family (undefined = use default Geist Sans) */
|
||||
fontFamilySans?: string;
|
||||
/** Global Code/Mono font family (undefined = use default Geist Mono) */
|
||||
fontFamilyMono?: string;
|
||||
/** Terminal font family (undefined = use default Menlo/Monaco) */
|
||||
terminalFontFamily?: string;
|
||||
|
||||
// UI State Preferences
|
||||
/** Whether sidebar is currently open */
|
||||
sidebarOpen: boolean;
|
||||
@@ -718,6 +730,12 @@ export interface ProjectSettings {
|
||||
/** Project theme (undefined = use global setting) */
|
||||
theme?: ThemeMode;
|
||||
|
||||
// Font Configuration (project-specific override)
|
||||
/** UI/Sans font family override (undefined = use default Geist Sans) */
|
||||
fontFamilySans?: string;
|
||||
/** Code/Mono font family override (undefined = use default Geist Mono) */
|
||||
fontFamilyMono?: string;
|
||||
|
||||
// Worktree Management
|
||||
/** Project-specific worktree preference override */
|
||||
useWorktrees?: boolean;
|
||||
|
||||
Reference in New Issue
Block a user