563736 – [Theme] a very old fix for theme reset for Windows is not working on Linux

Bug 563736 - [Theme] a very old fix for theme reset for Windows is not working on Linux

Summary: [Theme] a very old fix for theme reset for Windows is not working on Linux

Status:	RESOLVED FIXED

Alias:	None

Product:	Platform
Classification:	Eclipse Project
Component:	UI (show other bugs)
Version:	4.16
Hardware:	PC Linux

Importance:	P3 normal (vote)
Target Milestone:	4.17 M1
Assignee:	Amit Mendapara
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	563684 563001
	Show dependency tree

Reported:	2020-05-29 12:10 EDT by Amit Mendapara
Modified:	2020-06-12 05:43 EDT (History)
CC List:	2 users (show)

See Also:	Gerrit Change Git Commit

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Amit Mendapara

2020-05-29 12:10:32 EDT

A very old fix for the the bug 19229 is not working on Linux and causes issue as mentioned in bug 563001, comment 8.

I think this code should be disabled on Linux.

Comment 1 Eclipse Genie

2020-05-29 12:20:16 EDT

New Gerrit change created: https://git.eclipse.org/r/163855

Comment 2 Eclipse Genie

2020-06-11 04:15:19 EDT

Gerrit change https://git.eclipse.org/r/163855 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=bdee7ee6d64ad31f691532fb04e40f0848f8058d

Comment 3 Lars Vogel

2020-06-12 05:42:09 EDT

Alex, is this one finished?