Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 420306

Summary: [Firefox] Editor settings popup has extra wide border
Product: [ECD] Orion Reporter: Ken Walker <ken_walker>
Component: EditorAssignee: Silenio Quarti <Silenio_Quarti>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: gheorghe, ken_walker
Version: 4.0Flags: gheorghe: review+
ken_walker: review+
Target Milestone: 4.0 RC3   
Hardware: PC   
OS: Mac OS X   
Whiteboard:
Attachments:
Description Flags
Editor Settings with extra border
none
fix none

Description Ken Walker CLA 2013-10-24 13:16:38 EDT
Created attachment 236850 [details]
Editor Settings with extra border

If you popup the editor settings using the spanner/wrench you'll see it has an extra wide box around it.  Firefox only (specifically Firefox 24).
Comment 1 Silenio Quarti CLA 2013-10-24 14:47:39 EDT
Created attachment 236853 [details]
fix

The outline is bigger than the menu because the menu div has 10px padding. This looks like a bug in FF. Chrome and IE draw the outline around the div contents (not the padding).

Removing the outline is the simplest patch given we are at RC3. We should revisit this in 5.0.