diff options
author | Matthias Becker | 2019-08-06 12:13:13 +0000 |
---|---|---|
committer | Matthias Becker | 2019-08-14 08:52:02 +0000 |
commit | 7f2f987eec5b0674ffe6edc1342c394210ea5f8c (patch) | |
tree | a48b9c19de1091cc8c92a9a9938bd91fdc6f2cfa | |
parent | 90e0c47573c05f77c958535bb1035b98ff7bd3a5 (diff) | |
download | news-7f2f987eec5b0674ffe6edc1342c394210ea5f8c.tar.gz news-7f2f987eec5b0674ffe6edc1342c394210ea5f8c.tar.xz news-7f2f987eec5b0674ffe6edc1342c394210ea5f8c.zip |
Bug 548008: Platform Help Should Use SVGs Instead of Pixel Graphics
Change-Id: I4ad704f80f4a1655ae20ff53ade963e6b9707209
Signed-off-by: Matthias Becker <ma.becker@sap.com>
-rw-r--r-- | 4.13/images/help_system_high_res.png | bin | 0 -> 810063 bytes | |||
-rw-r--r-- | 4.13/platform.html | 12 |
2 files changed, 12 insertions, 0 deletions
diff --git a/4.13/images/help_system_high_res.png b/4.13/images/help_system_high_res.png Binary files differnew file mode 100644 index 00000000..805040e8 --- /dev/null +++ b/4.13/images/help_system_high_res.png diff --git a/4.13/platform.html b/4.13/platform.html index 2dce9819..ff992d8d 100644 --- a/4.13/platform.html +++ b/4.13/platform.html @@ -232,6 +232,18 @@ ul {padding-left: 13px;} <p> <img src="images/help_system_dark.png" alt="Eclipse help content in dark theme" style="width: 100%" ></p> </td> + </tr> + <tr id="help-system-dark"> <!-- https://bugs.eclipse.org/bugs/show_bug.cgi?id=548008 --> + <td class="title">Help Contents Uses High Resolution Icons</td> + <td class="content"> + <p> + The help system itself as well as the help content of the <em>Eclipse Platform</em>, the <em>Java Development Tooling</em> and + the <em>Plug-in Development Environment</em> now use high resolution icons. + They are now crisp on high resolution displays and also looks much better in the dark theme. + </p> + <p> + <img src="images/help_system_high_res.png" alt="Eclipse help with high resultion icons" style="width: 100%" ></p> + </td> </tr> <!-- ******************* End of Themes and Styling ************************************* --> |