Continuing the discussion from [SOLVED} Multiple IDE tabs issue:
Not a problem. Arduino.h starts with: #pragma once.
"#pragma once" is a preprocessor directive used to prevent header files from being included multiple times. The "#pragma once" directive, once present in a file, assures that the file will not be included multiple times in the current project.