Can't delete a Custom server

adamjimenez / shiftedit

ShiftEdit IDE

Other

82 stars 18 forks source link

Can't delete a Custom server #327

Closed thomaswwp closed 6 years ago

thomaswwp commented 6 years ago

New tab

Tools Panel Servers Select a server with - Custom after it e.g. mycustomserver - Custom Click [Remove] Click [Yes] Message received: Error Provider not recognised: Custom [OK]

adamjimenez commented 6 years ago

fixed

thomaswwp commented 6 years ago

Confirmed. Thank you.