scrumpyman

Results 17 comments of scrumpyman

Startup is much faster, but now opening AND closing the extra network UI is much slower, like 4 seconds every time. Building the UI only when the button is clicked...

I don't know anything about Gradio, but I'm thinking that after the first loading of the extra networks ui, all subsequent presses of the icon should only hide or show...

Yeah I mean, you have subsequent presses hide/show the ui through css, which I think is how it's done normally. I don't see why it couldn't be done to fallback...

I feel like pagination would mess up the search functionality/speed, which is pretty much the most useful part of the extra networks ui. I really can't believe you can't just...

That works, but thinking further, I think moving the ui building away from startup should still be separate. Maybe as an option? I don't think it's a global upgrade for...

It's good to have it as an option if a considerable amount of users would find it preferable one way or the other, which I think would be the case....

I don't why you can't make it work, just have the icons slightly smaller and have all of them appear on hover at the top.