search

maripo / JOSM_easypresets

22 stars 7 forks source link

Don't close the root dialog after deleting a preset #4

Closed maripo closed 7 years ago

maripo commented 7 years ago

Just re-draw the list!