mirror of
https://github.com/pandorafms/pandorafms.git
synced 2025-09-26 11:29:12 +02:00
132ab90b41
* include/functions_gis.php: in function "activateAjaxRefresh" add the posibility to change refresh time in execution time. * include/functions_ui.php: add in the "print_page_header" the feature to pass a array of buttons/items. * include/javascript/openlayers.pandora.js: add the function "changeRefreshTime" for change the refresh time. * operation/gis_maps/render_view.php: change the top of page for to adapt the new header, and add refresh control. git-svn-id: https://svn.code.sf.net/p/pandora/code/trunk@2408 c3f86ba8-e40f-0410-aaad-9ba5e7f4b01f