Modifying and saving this file did not pin it #7154
Labels
bug
Issue identified by VS Code Team member as probable bug
important
Issue identified as high-priority
info-needed
Issue requires more information from poster
verified
Verification succeeded
workbench-tabs
VS Code editor tab issues
Milestone
Version 1.2.0-alpha
Commit 81ab7e3
Date 2016-05-31T18:40:39.797Z
Ubuntu 16.04
Not sure what I did in particular but it is not in this state:
The text was updated successfully, but these errors were encountered: