Patch
From MapbenderWiki
A patch is a text file containing the difference (diff) between two versions of a document. It describes how the older version needs to be manipulated in order to receive the later version.
It looks something like this
Index: http/javascripts/mod_wfs_gazetteer_client.php
===================================================================
--- http/javascripts/mod_wfs_gazetteer_client.php (revision 1725)
+++ http/javascripts/mod_wfs_gazetteer_client.php (working copy)
@@ -50,6 +50,7 @@
var point_px = 10;
var resultGeom = null;
var cw_fillcolor = "#cc33cc";
+var g_buffer;
parent.mb_registerInitFunctions("window.frames['"+this.name+"'].initModWfsGazetteer()");
@@ -73,8 +74,8 @@
function appendStyles() {
var styleObj;
- var rule = global_wfsConfObj[global_selectedWfsConfId].g_style + global_wfsConfObj[global_selectedWfsConfId].g_res_style;
- if (parent.ie) {
+ var rule = global_wfsConfObj[global_selectedWfsConfId].g_style + global_wfsConfObj[global_selectedWfsConfId].g_res_style;
+ if (parent.ie) {
var styleSheetObj=document.createStyleSheet();
styleObj=styleSheetObj.owningElement || styleSheetObj.ownerNode;
styleObj.setAttribute("type","text/css");
@@ -114,6 +115,7 @@
else if (wfsCount === 1) {
appendStyles();
appendWfsForm();
+ g_buffer = global_wfsConfObj[global_selectedWfsConfId].g_buffer;
}
else {
appendWfsConfSelectBox();
@@ -312,7 +314,7 @@
else if (event == "click"){
global_resultHighlight.del(resultGeom.get(index), cw_fillcolor);
var bbox = resultGeom.get(index).getBBox();
- var buffer = new parent.Point(1,1);
+ var buffer = new parent.Point(g_buffer,g_buffer);
bbox[0] = bbox[0].minus(buffer);
bbox[1] = bbox[1].plus(buffer);
parent.mb_calculateExtent(targetArray[0], bbox[0].x, bbox[0].y, bbox[1].x, bbox[1].y);
further reading
