Giter VIP home page Giter VIP logo

Comments (12)

timnew avatar timnew commented on July 30, 2024

@richrace I tried to remove the padding. But the text is not in the middle of the box. And 1px padding will place it in the center.

from seti-ui.

richrace avatar richrace commented on July 30, 2024

Hmm might depend on the font you use? No padding makes it look just like the fuzzy finder.

My font is: Bitstream Vera Sans Mono

from seti-ui.

jesseweed avatar jesseweed commented on July 30, 2024

Well that's a bummer! You're right, something in the 121 update definitely broke it. I couldn't repro, but as soon as I updated from 120 I hit the same issue. Too bad, it looked much better with the extra padding.

I'll kill padding though until I can figure out what's causing the issue.

from seti-ui.

fungilation avatar fungilation commented on July 30, 2024

great, 0.2.0 fixed this. But now there are new cosmetic issues, like letter spacing being sub-zero in input text on the Command Palette, and tabs' text are overlapped by the X for closing. For the latter, perhaps simply get rid of the X altogether? cmd/windows-w for closing should be all we need.

from seti-ui.

timnew avatar timnew commented on July 30, 2024

@richrace hmm, interesting.
With your inspiration, I think the font size also impact on that, because I found mini-editor is also impacted when I adjust text size with cmd+= and cmd+-.

BTW, I'm using consolas 14px

from seti-ui.

izuzak avatar izuzak commented on July 30, 2024

Well that's a bummer! You're right, something in the 121 update definitely broke it. I couldn't repro, but as soon as I updated from 120 I hit the same issue. Too bad, it looked much better with the extra padding.
I'll kill padding though until I can figure out what's causing the issue.

cc @nathansobo @benogle on this feedback

from seti-ui.

richrace avatar richrace commented on July 30, 2024

@fungilation #27 should fix the tabs. I believe it was related to the file icons in the tab now.

from seti-ui.

jesseweed avatar jesseweed commented on July 30, 2024

@fungilation; confirming #27 fixed the tab issue. Could you explain a little more what you're seeing with "letter spacing being sub-zero in input text on the Command Palette"? I'm not seeing any issues with command palette.

from seti-ui.

nathansobo avatar nathansobo commented on July 30, 2024

Sorry guys. Looks like this was introduced by some styling changes we made in preparation to switch mini editors to the new React-based renderer. Enabling core.useReactMiniEditors eliminated the issue on the previous version of SETI.

from seti-ui.

fungilation avatar fungilation commented on July 30, 2024

@jesseweed I confirm #27 and latest update fixed everything, including the bunched up lettering. Thanks for the great and fast fixes!

For the new tab icons, is there an option to turn them off? They look nice but not very space saving when I have too many tabs open.

from seti-ui.

jesseweed avatar jesseweed commented on July 30, 2024

@fungilation I haven't found an easy way to do any type of theme level config yet. But, you can add this to your custom stylesheet if you want to kill the tab icons:

.tab-bar .tab .title, .tab-bar .tab.active .title {
  margin-top: 3px;
  &:before { display: none }
}

It's not pretty, but gets the job done.

from seti-ui.

jesseweed avatar jesseweed commented on July 30, 2024

Marking this as resolved.

from seti-ui.

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.