Closed Bug 379323 Opened 18 years ago Closed 7 years ago

Workaround whatever's broken close buttons for source views

Categories

(Other Applications Graveyard :: Venkman JS Debugger, defect)

defect
Not set
minor

Tracking

(Not tracked)

RESOLVED INCOMPLETE

People

(Reporter: Mook, Assigned: rginda)

Details

When I have multiple tabs open in source (e.g. with pretty printing on), I often want to close the currently displayed tab. This can currently be achieved by right clicking on the tab and choosing Close Tab, or use the hotkey Accel + W. Unfortunately, I think I use Firefox too much - I consistently attempt to middle click instead (which results in nothing), after which I click the x in the top right corner of the tabstrip (which closes the whole source view). I would like a close tab button added to the right end of the tab strip which closes the currently displayed tab.
Adding a button to the right of the tab strip is the wrong solution; Venkman has always had a close button *on* each tab. It isn't, however, showing up on trunk (and I don't remember why, or how long it's been missing). If anything gets fixed, that should be it. Note to me: this is partially fixed in 'view tabs' tree.
Severity: enhancement → minor
Summary: Add close button for source view → Workaround whatever's broken close buttons for source views
Version: unspecified → Trunk
QA Contact: caillon → venkman
Component is obsolete so resolving bugs as INCOMPLETE
Status: UNCONFIRMED → RESOLVED
Closed: 7 years ago
Resolution: --- → INCOMPLETE
Product: Other Applications → Other Applications Graveyard
You need to log in before you can comment on or make changes to this bug.