Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Added font weight pickers to text editing and terminal settings#1758

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged
austincondiff merged 4 commits intoCodeEditApp:mainfromaustincondiff:main
Jun 17, 2024

Conversation

@austincondiff
Copy link
Collaborator

@austincondiffaustincondiff commentedJun 14, 2024•
edited
Loading

Description

Default font weight is now medium. Reduced the default line height from 1.45 to 1.2. Added font weight pickers to text editing and terminal sections within settings. Small fix when using custom icons in editor tab.

Related Issues

n/a

Checklist

  • I read and understood thecontributing guide as well as thecode of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

Screen.Recording.2024-06-14.at.1.21.09.PM.mov

tom-ludwig reacted with hooray emoji
…editing and terminal sections within settings. Small fix when using custom icons in editior tab.
@austincondiffaustincondiff changed the title Added font weight picker in text editing and terminal settings Added font weight pickers to text editing and terminal settingsJun 14, 2024
FastestMolasses
FastestMolasses previously approved these changesJun 14, 2024
@austincondiffaustincondiff merged commit4a6b234 intoCodeEditApp:mainJun 17, 2024
@thecoolwinterthecoolwinter added the enhancementNew feature or request labelJul 19, 2024
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

@tom-ludwigtom-ludwigtom-ludwig approved these changes

@MarcoCarnevaliMarcoCarnevaliAwaiting requested review from MarcoCarnevali

@thecoolwinterthecoolwinterAwaiting requested review from thecoolwinter

@Wouter01Wouter01Awaiting requested review from Wouter01

@FastestMolassesFastestMolassesAwaiting requested review from FastestMolasses

Assignees

No one assigned

Labels

enhancementNew feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@austincondiff@FastestMolasses@tom-ludwig@thecoolwinter
[8]ページ先頭
©2009-2025 Movatter.jp