Jonas Jenwald 03f5dd2cf2 Add a ignoreDestinationZoom option/preference to allow users to preserve the current zoom level when navigating to internal destinations (issue 5064, 11606)

2020-02-27 08:42:50 +01:00

..

chromium

Add a ignoreDestinationZoom option/preference to allow users to preserve the current zoom level when navigating to internal destinations (issue 5064, 11606)

2020-02-27 08:42:50 +01:00

firefox

Enable auto-formatting of the entire code-base using Prettier (issue 11444)

2019-12-26 12:34:24 +01:00

.eslintrc

…