Alex

Figured out how stop refreshing which may help with adjusting refresh rate. ```python async def refresh_toggler(self) -> None: if not self.done: self.refresh() else: await self.timer.stop() def on_mount(self): self.timer = self.set_interval(3,...

I ran into a similar problem (intermittent failures that would recover after a length of time). I resolved it by modifying my Dockerfile (I'm using JupyterHub) to install as follows:...

They're not mutually exclusive. It can be keyboard driven as well. Left / right and up / down can adjust the slider. Holding down shift can increment by 10 instead...

Apologies for the delayed response. I'm not sure if / when I'll have time to tackle this but definitely interested. I can loop around to it if no else one...

NVM! Figured this out. Might be worth changing this heading: https://github.com/AlecAivazis/survey/blob/863da4d0600f0b2e969352c91a808e5bc94e220d/README.md#changing-the-icons to `Changing the Icons and Prompt Text Color` or something to that effect.

Hm not seeing a way to modify the default help text `Use arrows to move, type to filter` color though:  That could be a good thing to make configurable.

@consideRatio, how would you feel about adding all of the recommended new labels (using `jupyterhub.labels`) but leaving the legacy labels and selectors in place? This would ensure backwards compatibility and...

Any updates on this @remche?

FYI, https://github.com/jupyterhub/kubespawner/pull/515 should fix the reflector issues, @remche.

Any updates on this?