-
Robert Knight authored
If there was not enough space for all of the items in the top bar, the group name could end up wrapping. This tended to happen when the group name was long, the sidebar was narrow and the search input was active.
fbe98138
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
annotator | ||
boot | ||
images/icons | ||
shared | ||
sidebar | ||
styles | ||
karma.config.js | ||
tsconfig.json |