Add an option to turn off window numbering

By gnach... on December 02, 2010 00:54 (imported from Google Code)

---

nm

Comment 1 by gnach... on December 28, 2010 02:55

---

This issue was closed by revision r425.

---

Status: Fixed