TenjintShell.drop_by_id

TenjintShell.drop_by_id(variables)

Remove a dict of variables from the user namespace, if they are the same as the values in the dictionary.

This is intended for use by extensions: variables that they’ve added can be taken back out if they are unloaded, without removing any that the user has overwritten.

Parameters

variables (dict) – A dictionary mapping object names (as strings) to the objects.