Code

ui/ux: styling search options#12697

Code

Merged

vince-fugnitto merged 2 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom vladarama:search-options-stylingvladarama/theia:search-options-stylingCopy head branch name to clipboardJul 13, 2023

+3-1

Commits

Commits on Jul 10, 2023

• ui/ux: styling search options

  

  Vlad Arama

  committed
  176e482

  Copy full SHA for 176e482

Commits on Jul 11, 2023

• ui/ux: use color variable instead of hardcoding

  

  Vlad Arama

  committed
  c11a05f

  Copy full SHA for c11a05f