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

How to go on with submission to EGO #268

Closed
Totto16 opened this issue Mar 28, 2024 · 1 comment
Closed

How to go on with submission to EGO #268

Totto16 opened this issue Mar 28, 2024 · 1 comment
Labels
enhancement New feature or request

Comments

@Totto16
Copy link
Collaborator

Totto16 commented Mar 28, 2024 •
edited
Loading

This issue is created, to discuss the future of this extension on ego, regarding previous discussions made in #222 (comment) and #264 (comment) .

These discussions with EGO reviewers were out of place, and therefore we couldn't collect feedback, ideas and proposals that effectively.

This issue is here to discuss the options and finally come to a conclusion for that issue. The details of the origin of that isseu, can be found in the PR's above, where some things were already said and discussed.

Current status is:

  • remove highlights.js code highlighting, and make it something users have to install manually or user an alternative (e.g. source-highlight (see update to gnome 46 #264 (comment))
@Totto16 Totto16 added the enhancement New feature or request label Mar 28, 2024
@Totto16
Copy link
Collaborator Author

Totto16 commented Mar 30, 2024

This is now resolved and will be tracked as part of #271

@Totto16 Totto16 closed this as completed Mar 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Totto16