Change what file is currently being edited. Changes the current tab index. store the String for the text of the current file. retrieve the String for the text of the new file. change the text that's visible in the text area
(int which)
source not stored for this graph (policy: none)
no test coverage detected