Giter VIP home page Giter VIP logo

Comments (3)

mkrueger avatar mkrueger commented on September 22, 2024

Update on this - need a change in the UI lib I use they didn't map the '[' key and some others I missed.

I opened a PR on that emilk/egui#3373

I would prefer having that change in their main branch. I've some libraries with egui dependencies and using a custom branch would require me to fork them all. (Which I'll do if the PR merge takes too long)

Then the new egui needs to be released and the libraries need to update - will take a while until that bubbles through to icy_term - but it is on the way.

Note: In the mean time you can use ctrl+5 as work around it is the same key.

from icy_term.

mkrueger avatar mkrueger commented on September 22, 2024

argh they updated egui to 0.23 but my fix didn't make it in… still looking at that.

If they don't do it in 0.24 I'll fork.

from icy_term.

mkrueger avatar mkrueger commented on September 22, 2024

Got merged this week in egui - took a lot longer than expected :/. Had too many deps to egui forking that was too much effort :(.

Will be fixed in the next version (0.6.9).

from icy_term.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    πŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. πŸ“ŠπŸ“ˆπŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❀️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.