Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Settings: Toggle Live Margins #15

Open
2 tasks
chuangcaleb opened this issue Oct 6, 2023 · 0 comments
Open
2 tasks

Settings: Toggle Live Margins #15

chuangcaleb opened this issue Oct 6, 2023 · 0 comments
Labels
📋 a/task Type: Task Effort 🔎 b/info-needed Blocker: Further information is requested to clearly define the issue ticket ✨ o/feature (Feature Requests go to Discussions/Ideas!) Objective: New feature implementation 🎨 s/style Scope: Styling

Comments

@chuangcaleb
Copy link
Owner

chuangcaleb commented Oct 6, 2023

Describe the task

Configuration setting for left-aligned or live margins (borrowing the term from Highland 2)

Linked Issues

Expected behavior

  • Live Preview: Live Margins (bool)
  • Source Mode: Live Margins (bool)

Screenshots

Additional context

@chuangcaleb chuangcaleb added 🔎 b/info-needed Blocker: Further information is requested to clearly define the issue ticket ✨ o/feature (Feature Requests go to Discussions/Ideas!) Objective: New feature implementation 📋 a/task Type: Task Effort 🎨 s/style Scope: Styling labels Oct 6, 2023
@chuangcaleb chuangcaleb changed the title Config: Live Margins Settings: Live Margins Oct 7, 2023
@chuangcaleb chuangcaleb changed the title Settings: Live Margins Settings: Toggle Live Margins Oct 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📋 a/task Type: Task Effort 🔎 b/info-needed Blocker: Further information is requested to clearly define the issue ticket ✨ o/feature (Feature Requests go to Discussions/Ideas!) Objective: New feature implementation 🎨 s/style Scope: Styling
Projects
Status: Todo
Development

No branches or pull requests

1 participant