Skip to content

Conversation

@janbarasek
Copy link
Contributor

  • bug fix
  • BC break? no

Now the space between the filename and "source" is too small. When trying to mark the file name with the mouse, I very often click on the link and I cannot simply copy the file for use in an external editor (it is not possible to click, the log can come from the server).

Old behavior:

Snímek obrazovky 2020-11-11 v 15 28 06

Wider margin is better:

Snímek obrazovky 2020-11-11 v 15 30 09

Thanks!

dg added 30 commits November 2, 2020 18:07
- keys in objects are always strings
- object typehint
(key 'id' is currently not used)
dg and others added 27 commits November 2, 2020 18:07
reverts e90b541

reason is that $context is deprecated and removed in PHP 8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants