Bugzilla – Full Text Bug Listing
| Summary: | Move .MTrimmedWindow.topLevel is shared file | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
| Component: | UI | Assignee: | Philippe Dul <philippe.dul> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | Lars.Vogel, philippe.dul |
| Version: | 4.14 | ||
| Target Milestone: | 4.16 M3 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| See Also: |
https://git.eclipse.org/r/161047 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=bf1ebeb566f6a09cd9385234c888c9f7ec893540 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 562201 | ||
Philippe, what do you think? Could you take this bug? I will look for it. Splitting light theme into separate files like dark theme is a larger subject though :) New Gerrit change created: https://git.eclipse.org/r/161047 (In reply to Philippe Dul from comment #2) > I will look for it. > > Splitting light theme into separate files like dark theme is a larger > subject though :) Good point. Lets handle that via https://bugs.eclipse.org/bugs/show_bug.cgi?id=562206 Gerrit change https://git.eclipse.org/r/161047 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=bf1ebeb566f6a09cd9385234c888c9f7ec893540 Thanks Philippe |
Currently all CSS define this for all OSs I suggest to move it into the global dark and light theme. .MTrimmedWindow.topLevel { margin-top: 0px; margin-bottom: 0px; margin-left: 1px; margin-right: 1px; }