rfaddons: shrunken-headers
Bug #583725 reported by
Uday Reddy
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| VM |
Triaged
|
Wishlist
|
Unassigned | ||
Bug Description
Consider integrating this into VM core.
Also, some clean up might be necessary because the buttons look quite ugly at the moment (at least in Gnu Emacs).
| Changed in vm: | |
| status: | New → Triaged |
| importance: | Undecided → Wishlist |
| tags: | added: rfaddons |
To post a comment you must log in.
