+ $(document).on('mousedown', function(e){
+ if(e.shiftKey){
+ map.contextmenu.disable(); // on firefox, shift disables our contextmenu. we explicitly do this for all browsers.
+ }else{
+ map.contextmenu.enable();
+ // we also decide whether to disable some options that only like high zoom
+ map.contextmenu.setDisabled(3, map.getZoom() < 12);
+ map.contextmenu.setDisabled(5, map.getZoom() < 14);
+ }
+ });
+