{
  "button": {
    "searchInput": {
      "placeholder": "Vyhľadať premennú"
    },
    "tooltip": "Vložiť premennú"
  },
  "remove": "Odstrániť premennú",
  "rename": "Premenovať premennú",
  "search": "Vyhľadať premennú",
  "select": "Vybrať premennú",
  "set": "Nastaviť"
}