<commit_before>var userIcon = {
  url: "<%= asset_path('user_marker.png') %>",
  scaledSize: new google.maps.Size(15, 15),
  anchor: new google.maps.Point(8, 7)
}

var soundTrekIcon = {
  url: "<%= asset_path('sound_trek_marker.png') %>",
  scaledSize: new google.maps.Size(30, 30)
}

var map,
    currentPositionMarker,
    mapCenter = new google.maps.LatLng(41.8762180, -87.6531470),
    userCenter;
    map;

function createUserRadius(map, position) {
  var userRadius = new google.maps.Circle({
    map: map,
    radius: 500, // could be made toggleable
    center: {lat: position.coords.latitude, lng: position.coords.longitude},
    strokeColor: '#1dbdd6',
    strokeOpacity: 0.5,
    strokeWeight: 0.5,
    fillColor: '#1dbdd6',
    fillOpacity: 0.15
  })
}

// change the zoom if you want
function initializeMap() {
  map = new google.maps.Map(document.getElementById('map'), {
    center: mapCenter,
    zoom: 16,
    minZoom: 16,
    streetViewControl: false,
    clickableIcons: false,
    gestureHandling: "greedy"
  });

  var recenterButtonDiv = document.createElement('div');

  map.controls[google.maps.ControlPosition.BOTTOM_CENTER].push(recenterButtonDiv)

  centerControl(recenterButtonDiv, map);
}



function locError(error) {
  // tell the user if the current position could not be located
  alert("Unable to geolocate. Please enable location settings to use SoundTreks.");
}

// current position of the user
function setCurrentPosition(position) {
  currentPositionMarker = new google.maps.Marker({<commit_msg>Adjust size of markers on map<commit_after>var userIcon = {
  url: "<%= asset_path('user_marker.png') %>",
  scaledSize: new google.maps.Size(25, 25),
  anchor: new google.maps.Point(13, 11)
}

var soundTrekIcon = {
  url: "<%= asset_path('sound_trek_marker.png') %>",
  scaledSize: new google.maps.Size(45, 45)
}

var map,
    currentPositionMarker,
    mapCenter = new google.maps.LatLng(41.8762180, -87.6531470),
    userCenter;
    map;

function createUserRadius(map, position) {
  var userRadius = new google.maps.Circle({
    map: map,
    radius: 500, // could be made toggleable
    center: {lat: position.coords.latitude, lng: position.coords.longitude},
    strokeColor: '#1dbdd6',
    strokeOpacity: 0.5,
    strokeWeight: 0.5,
    fillColor: '#1dbdd6',
    fillOpacity: 0.15
  })
}

// change the zoom if you want
function initializeMap() {
  map = new google.maps.Map(document.getElementById('map'), {
    center: mapCenter,
    zoom: 16,
    // minZoom: 16,
    streetViewControl: false,
    clickableIcons: false,
    gestureHandling: "greedy"
  });

  var recenterButtonDiv = document.createElement('div');

  map.controls[google.maps.ControlPosition.BOTTOM_CENTER].push(recenterButtonDiv)

  centerControl(recenterButtonDiv, map);
}



function locError(error) {
  // tell the user if the current position could not be located
  alert("Unable to geolocate. Please enable location settings to use SoundTreks.");
}

// current position of the user
function setCurrentPosition(position) {
  currentPositionMarker = new google.maps.Marker({
{'fraction_non_alphanumeric': 0.12568837058632976, 'fraction_numerical': 0.03045027534823453, 'mean_word_length': 3.988691437802908, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '818329', 'n_tokens_mistral': 1082, 'n_tokens_neox': 1006, 'n_words': 246}