Code

Add support for multiline searches#12868

Code

Merged

msujew merged 11 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom KR155E:multiline-searchesKR155E/theia:multiline-searchesCopy head branch name to clipboardSep 25, 2023

+256-64

Commits

Commits on Aug 28, 2023

• search-in-workspace: add support for multi-line searches

  Show description for aab9483
  KR155E

  committed
  aab9483

  Copy full SHA for aab9483

• search-in-workspace: Fix multiline matches in currently opened documents

  KR155E

  committed
  423fd08

  Copy full SHA for 423fd08

• Improve results styling

  Show description for 1093799
  KR155E

  committed
  1093799

  Copy full SHA for 1093799

• Fix glob fields

  Show description for f0c0984
  KR155E

  committed
  f0c0984

  Copy full SHA for f0c0984

• Fix textarea resizing

  KR155E

  committed
  d2646eb

  Copy full SHA for d2646eb

• Dynamic textarea resize

  Show description for d992683
  KR155E

  committed
  d992683

  Copy full SHA for d992683

Commits on Sep 7, 2023

• Adapt react-autosize-textarea

  KR155E

  committed
  c844a89

  Copy full SHA for c844a89

Commits on Sep 11, 2023

• Fix search boxes dimensions and resizing behavior

  KR155E

  committed
  b7da628

  Copy full SHA for b7da628

• Fix "too many results" notice

  KR155E

  committed
  86a1a56

  Copy full SHA for 86a1a56

Commits on Sep 12, 2023

• Extract duplicate code

  KR155E

  committed
  96248ed

  Copy full SHA for 96248ed

• Fix search result hover

  KR155E

  committed
  a17737f

  Copy full SHA for a17737f