I waded through the list of 'enhancements', and was astonished to find this. Is there to be an alternative way of producing the same appearance as the 'Watery' theme? If not, how can the removal of a facility be called an 'enhancement'? I always switch to this theme when I load a new image, because I find the plain buttons in the standard theme ugly.
I managed to find the fogbugz entry - not easy, because it has been closed, so clicking on the link gives 404 - and it just says 'UIThemeWatery should be removed according to the current Pharo 7 plans.' I can't recall seeing these plans put up for discussion; if I had, I would certainly have protested then. Does having this theme as an option cause any problems elsewhere, so as to justify removing a facility. If not, can I put in a plea to have this so-called enhancement reverted? It has been installed only a week ago, so it can't be a major problem. Peter Kenny -----Original Message----- From: Pharo-users [mailto:pharo-users-boun...@lists.pharo.org] On Behalf Of Stephane Ducasse Sent: 05 November 2017 09:08 To: Pharo Development List <pharo-...@lists.pharo.org>; Any question about pharo is welcome <pharo-users@lists.pharo.org> Subject: [Pharo-users] [Pharo7.0a] Next batch of enhancements Report period: 23 October 2017 to 5 November 2017 * 20587-remove-UIThemeWatery >> https://pharo.fogbugz.com/f/cases/20587-remove-UIThemeWatery Issue URL: https://pharo.fogbugz.com/f/cases/20587 PR URL: https://github.com/pharo-project/pharo/pull/395 Diff URL: https://github.com/pharo-project/pharo/pull/395/files Thanks to pavel-krivanek
