ajaxorg/cloud9 — Issue #342: Numbering in Tab Dropdown Menu
Author: detmarterhuurne
Created: 2011-10-25 08:55:29+00:00
State: open

De nummering van de files wordt niet gedatet na het afsluiten van active files.

Hierdoor ontstaan gaten in de nummering van de files in de list