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

This commit is contained in:
Jonas Jenwald 2020-02-17 14:04:55 +01:00
parent 965ebe63fd
commit 03f5dd2cf2
5 changed files with 28 additions and 4 deletions

View file

@ -86,6 +86,11 @@ const defaultOptions = {
value: false,
kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
},
ignoreDestinationZoom: {
/** @type {boolean} */
value: false,
kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
},
imageResourcesPath: {
/** @type {string} */
value: "./images/",