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
It would probably be a good idea to provide new names for resource_path, resource_parent, resource_name, resource_name_without_extension and resource_extension that are more in line with Eclipse variables - for example resource_path should rather be resource_loc (but resource_loc is already an Eclipse variable). We should do this BEFORE #16. The old variable names should be kept and somehow marked as deprecated. To avoid name clashes, we could prefix StartExplorer varibles with, say, "se_"
The text was updated successfully, but these errors were encountered:
It would probably be a good idea to provide new names for resource_path, resource_parent, resource_name, resource_name_without_extension and resource_extension that are more in line with Eclipse variables - for example resource_path should rather be resource_loc (but resource_loc is already an Eclipse variable). We should do this BEFORE #16. The old variable names should be kept and somehow marked as deprecated. To avoid name clashes, we could prefix StartExplorer varibles with, say, "se_"
The text was updated successfully, but these errors were encountered: