Detect when sdkPath is changed to prompt for reloading #18

Activity

1. DanTup

   added

   is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.An enhancement or improvement that should be listed in release notes but is not a bug fix.

   on Aug 5, 2016
2. DanTup

   added this to the 0.5.0This milestone has been deleted milestone on Aug 5, 2016
3. DanTup

   added

   good first issue A relatively straight forward issue that could be done by a new contributorA relatively straight forward issue that could be done by a new contributor

   on Aug 5, 2016
4. DanTup

   modified the milestones: 1.0.0This milestone has been deleted, 0.5.0This milestone has been deleted, v1.0, v0.6 on Aug 5, 2016
5. DanTup

   changed the title [-]Detect when config is changed to avoid reloading[/-] [+]Detect when sdkPath is changed to avoid reloading[/+] on Aug 7, 2016
6. DanTup

   modified the milestones: v1.0, v0.6 on Aug 7, 2016
7. DanTup commented on Aug 14, 2016

   

   DanTup

   on Aug 14, 2016

   MemberAuthor

   More actions

   Need to ensure this also updates the file used to pass the path to the debugger (if it still exists).
8. DanTup

   added

   duplicate

   and removed

   is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.An enhancement or improvement that should be listed in release notes but is not a bug fix.

   good first issue A relatively straight forward issue that could be done by a new contributorA relatively straight forward issue that could be done by a new contributor

   on Nov 19, 2016
9. DanTup

   removed this from the v1.0 milestone on Nov 19, 2016
10. DanTup commented on Nov 19, 2016

    

    DanTup

    on Nov 19, 2016

    MemberAuthor

    More actions

    Automatic reloading is tricky (because we'd have to re-send all open file buffers, etc.) so instead I've done #219 which prompts the user to save and reload if this value changes.
11. DanTup

    closed this as completedon Nov 19, 2016
12. DanTup

    changed the title [-]Detect when sdkPath is changed to avoid reloading[/-] [+]Detect when sdkPath is changed to prompt for reloading[/+] on Jun 24, 2017