GabrielMeyer
1d5b1b4fed
Improves the global search to find IDs
...
- Considers the 'id' of objects for search.
2019-09-04 11:31:03 +02:00
GabrielMeyer
d354461784
Cleans up the stylesheets a little bit
...
- Removes all `::ng-deep`
- Merges some re-used styles to one stylesheet
- The icon to open the global search will always be seen in the headbar
2019-09-02 17:33:42 +02:00
Emanuel Schütze
d7105d91c9
Updated translations
2019-08-30 11:26:29 +02:00
GabrielMeyer
cf2b933a70
Hotfix for global search
2019-08-27 16:50:06 +02:00
GabrielMeyer
5f29732e26
Implements the global 'super-search.component'
...
- Moves the 'spinner.component' to 'site.component'
- Replaces also the 'spinner.service' with an 'overlay.service', that handles all request to
show an element on an overlay.
2019-08-26 11:30:20 +02:00
