Line width changed when zooming in gis editor

[MoonE]

Describe the bug

When zooming in the gis editor the line with / point size on the screen was meant to stay the same.
This should be handled by the following code, but it currently does nothing.

phpmyadmin/js/src/table/gis_visualization.js

Lines 26 to 61 in b5162d5

	function zoomAndPan () {
	var g = svg.getElementById('groupPanel');
	if (!g) {
	return;
	}
	g.setAttribute('transform', 'translate(' + x + ', ' + y + ') scale(' + scale + ')');
	var id;
	var circle;
	$('circle.vector').each(function () {
	id = $(this).attr('id');
	circle = svg.getElementById(id);
	$(svg).on('change', circle, {
	r : (3 / scale),
	'stroke-width' : (2 / scale)
	});
	});
	var line;
	$('polyline.vector').each(function () {
	id = $(this).attr('id');
	line = svg.getElementById(id);
	$(svg).on('change', line, {
	'stroke-width' : (2 / scale)
	});
	});
	var polygon;
	$('path.vector').each(function () {
	id = $(this).attr('id');
	polygon = svg.getElementById(id);
	$(svg).on('change', polygon, {
	'stroke-width' : (0.5 / scale)
	});
	});
	}

To Reproduce

Steps to reproduce the behavior:

1. Open the gis visualization
2. Change the zoom level
3. The line / point size width scales with the svg

Expected behavior

The line with / point size should remain constant on screen.

Screenshots

Additional context

The last working version was 4.6
Tell me which branch to target and I will provide a PR.

[williamdes]

Hi @MoonE
Thank you for te report and for offering help
We will accept a PR to branch QA_5_1 as I am sure this affects 5.1 and 5.2

[williamdes]

4.6.6

5.1.2-dev