ui: enlarge search box on dashboard

[tnir]

Signed-off-by: Takuya Noguchi [email protected]

Description

Enlarges the search box on dashboard.

See the (simplified) sample code:

https://codepen.io/tnir/pen/GRyJoRE

Related Issue(s)

Fixes #8812 (part of #3727)

Improves #3295

How to test

Prepare an environment and resize the window size responsively.

Release Notes

NONE

(or Enlarge search box on dashboard)

Documentation

No.

[tnir]

@gtsiolis What do you think?

[tnir]

Tackles a technical debt from #5555

[tnir]

@svenefftinge Could you review this?

[easyCZ]

@tnir Thank you for your contribution!

@gtsiolis Would you be able to take a look? This looks to fall in your area of expertise.

[gtsiolis]

Looking at this now! 👀

/werft run

[gtsiolis]

/werft run

[tnir]

/werft run

👎 not authorized

[gtsiolis]

/werft run

[gtsiolis]

Thanks for contributing, @tnir! 🧡

You'll also need to sign a Contributor License Agreement (CLA)[1] once before merging your first contribution. Looping in @meysholdt to reach out about the CLA. 🏓

In the meatime, please bare with us while we debug why the build is failing for this. 🙏

[tnir]

Thanks @gtsiolis. I have not been sure why https://www.gitpod.io/cla (originated from https://github.com/gitpod-io/website/blob/45ad1e610c189c3c36585372ccc5a4bf32d37a07/gitpod/docs/contribute/features-and-patches/index.md?plain=1#L16) is dead... 😭

[gtsiolis]

I have not been sure why https://www.gitpod.io/cla ...

@tnir That was a private repository where some team members experimented with a CLA automation process so that it's a self-serve process rather than manually reaching out[1] to contributors. Current work-in-progress takes place in #6318.

FWIW, that link to the private repository was added back in https://github.com/gitpod-io/website/pull/1187. I've opened https://github.com/gitpod-io/website/pull/1789 to remove this temporarily until we make the repository public if needed.

[gtsiolis]

One more time.

/werft run

👍 started the job as gitpod-build-tnir-8812-better-search-box-on-dashboard-fork.3

[gtsiolis]

Build succedeed! Triggering one more time because of the timeout.

/werft run

👍 started the job as gitpod-build-tnir-8812-better-search-box-on-dashboard-fork.4

[tnir]

@meysholdt When can I get reached out from you? 🙏

[tnir]

Ping @meysholdt

[gtsiolis]

@tnir Sorry this is taking longer than usual but please bare with us as most of the company is currently at our offsite. I promise to get back to this next week. 🎗️

[gtsiolis]

/werft run

👍 started the job as gitpod-build-tnir-8812-better-search-box-on-dashboard-fork.5

[gtsiolis]

/werft run

👍 started the job as gitpod-build-tnir-8812-better-search-box-on-dashboard-fork.6

[easyCZ]

Looks like I've accidentally caused the PR to be merged by approving it (did not notice there's no /hold). Sorry, that was not the intent, just intended to indicate the changes look good.

We'll discuss internally if we need to revert. Sorry about this.

[easyCZ]

I've raised a revert for this in #8969. Unfortunately, to get this change in @tnir will need to raise a new PR (such that it's attributed to you). Sorry for the inconvenience.

I'm also looking into how to add hold to PRs by default to prevent this default case scenario.

[jankeromnes]

Thanks again @tnir for your great contribution!

FYI, for convenience, I've restored your commit into a new Pull Request: #8994 -- the commit is still attributed to you, but if you prefer, please feel free to open it in another Pull Request, and I'd be happy to approve it.

Will also ping internally to see what we can do to accelerate the CLA process. 🙂

[tnir]

Thanks @jankeromnes. Can you help me accelerate the CLA process at #7864 (comment)

Will also ping internally to see what we can do to accelerate the CLA process. 🙂