Change
Redesign code search
Issue description
Currently the code search is integrated in the header search. Remove it from there and make a dedicated code search tab in the code editor, next to the file index tab. This increases the space available for the results and integrates it into the history. It also opens up the possibilty to add functionality like Search&Replace. This would be very hard in the current situation.
|
Work sessions2
Start |
2023-11-24T09:06:55
|
End |
2023-11-24T11:59:08
|
Participant |
Robert Cerny
|
Start |
2023-11-24T16:12:19
|
End |
2023-11-24T17:37:14
|
Participant |
Robert Cerny
|
|
We are sorry
This page cannot be displayed in your browser. Use Firefox, Opera, Safari, or Chrome instead.