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.

Sign up for GitHub

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

Jump to bottom

[Feature] Replace breakpoint 🔴 emoji into CSS-styled HTML Element #24

Closed
MarkChenYutian opened this issue Dec 28, 2022 · 0 comments · Fixed by #26
Closed

[Feature] Replace breakpoint 🔴 emoji into CSS-styled HTML Element #24

MarkChenYutian opened this issue Dec 28, 2022 · 0 comments · Fixed by #26
Assignees
@MarkChenYutian
Labels
Editor Change in Code Editor is needed enhancement New feature or request
Milestone
Full C0 Support

Comments

@MarkChenYutian
Copy link
Owner

Is your feature request related to a problem? Please describe.
Currently the breakpoint is displayed differently on different platform since it is using emoji 🔴 instead of HTML element with CSS style.

Such difference is not elegant and will cause confusion to users.

Describe the solution you'd like

Change the emoji 🔴 into some real red circle or font awesome icons.

Describe alternatives you've considered
(N/A)

Additional context
(N/A)
@MarkChenYutian MarkChenYutian added enhancement New feature or request Editor Change in Code Editor is needed labels Dec 28, 2022
@MarkChenYutian MarkChenYutian added this to the Full C0 Support milestone Dec 28, 2022
@MarkChenYutian MarkChenYutian self-assigned this Dec 28, 2022
@MarkChenYutian MarkChenYutian linked a pull request Dec 28, 2022 that will close this issue
✨ Replace breakpoint with CSS-based element #26
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MarkChenYutian MarkChenYutian

Labels
Editor Change in Code Editor is needed enhancement New feature or request
Projects
None yet
Milestone
Full C0 Support
Development

Successfully merging a pull request may close this issue.

✨ Replace breakpoint with CSS-based element MarkChenYutian/C0VM-ts
1 participant
@MarkChenYutian