You are viewing an historical archive of past issues. Please
report new issues to the appropriate project issue tracker on
GitHub.
Comments
-
Greg Hurrell
See also ticket #1635, "Mark already-open files in bold".
-
Greg Hurrell
Closed ticket #1632 as a duplicate.
-
Greg Hurrell
Also requested in this forum thread.
-
Greg Hurrell
This was done a long time ago; will mark as closed.
-
Greg Hurrell
Status changed:
- From: new
- To: closed
Add a comment
Comments are now closed for this issue.