Skip to content

Changeable icon and name #4331

Open
Open

Description

@zoeleu

Please make the icon and name changeable from the config file. I think the logo is ugly, and doesn't fit with my desktop's aesthetics.

Activity

  1. jsjoeio commented on Oct 11, 2021

    @jsjoeio
    Contributor

    What would the ideal api look like for you?

    icon-name: Matteo's IDE
    icon: /path/to/icon.png

    Something like that?^

  2. zoeleu commented on Dec 15, 2021

    @zoeleu
    Author

    What would the ideal api look like for you?

    icon-name: Matteo's IDE
    icon: /path/to/icon.png

    Something like that?^

    Yep, sorry for late reply. Got buried in my notifications.

  3. added this to the Backlog Candidates milestone on Dec 15, 2021
  4. stale commented on Jun 13, 2022

    @stale

    This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no activity occurs in the next 5 days.

  5. zoeleu commented on Jun 14, 2022

    @zoeleu
    Author

    Why. Stale bot is awful for open source repositories, as it creates a false understanding of what is open or closed.

    Article on this: https://blog.benwinding.com/github-stale-bots/

    TLDR: You are creating a false-sense of fewer issues. Duplicate issues will happen more often, and you're not fixing anything.

    PS: I still think this is an essential API, not just for my personal use, but for companies that use and want to "brand" their editors.

  6. sibidharan commented on Aug 3, 2022

    @sibidharan

    Much needed feature. It will be helpful if we are able to pass it in the command line.

  7. jsjoeio commented on Aug 3, 2022

    @jsjoeio
    Contributor

    Why. Stale bot is awful for open source repositories, as it creates a false understanding of what is open or closed.

    From a maintainer's perspective, it does help us fight through noise and focus on essential issues. We don't lock them and it's very easy to open things that accidentally go stale. It's a tradeoff, but we've found it helpful.

  8. tomqwpl commented on Mar 24, 2023

    @tomqwpl

    Another vote for this feature.

  9. wyz-c commented on Apr 25, 2024

    @wyz-c

    +1

  10. surajrimal07 commented on Jul 12, 2024

    @surajrimal07

    +1

  11. guiruggiero commented on Sep 3, 2025

    @guiruggiero

    +1

    And just to make sure, the method of replacing the icons on src/browser/media as described here #1390 doesn't work, right? At least it didn't for me.

  12. code-asher commented on Sep 3, 2025

    @code-asher
    Member

    Replacing the images in src/browser/media should work (although your browser may cache the old ones).

  13. guiruggiero commented on Sep 6, 2025

    @guiruggiero

    You're right, it did work. Cache got me for more than a couple of days, but now it's alright. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    featureNew user visible feature

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions