You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
edc8a1c: Change commands that run the developer tools to require the code to be loaded first (Paulo Moura)
7fa5ef3: Inform the user when commands that spawn processes complete (Paulo Moura)
79b96f8: Add make tool warnings to the "Problems" pane (Paulo Moura)
b155c67: Warn the user when no code is loaded for a command that requires it (Paulo Moura)
a70d3c2: Improve implementation of user warnings when no code is loaded for a command that requires it (Paulo Moura)
8f54436: Fix taking into account environment settings when spawning auxiliary Logtalk processes (Paulo Moura)
2e3a348: Fix handling of environment settings in temporary Logtalk processes to ensure that VSCode own settings override default process settings (Paulo Moura)
01b2929: Better phrasing of warning message on code not loaded as required by command (Paulo Moura)