Created attachment 180558 [details] Update x11/tint to 0.13 The attached patch updates x11/tint to version 0.13. This is major release with several new features: - Desktop files (shortcuts) used in launcher are reloaded on click, in case the file has changed - New config option taskbar_hide_if_empty to hide an empty taskbar in multi_desktop mode (contributed by Benoit Averty) - Gradient backgrounds (contributed by Oskari Rauta) - New option: panel_shrink (fixes issue #333) - Support for Path in .desktop files (contributed by Michael Messmore) - New plugin: separator (contributed by Oskari Rauta) There're no changes to the port, just the version number bump and an updated plist. The update was tested with poudriere and I've run the new version on my desktop for several hours.
A commit references this bug: Author: robak Date: Tue Mar 14 09:20:43 UTC 2017 New revision: 436137 URL: https://svnweb.freebsd.org/changeset/ports/436137 Log: x11/tint: update 0.12.12 -> 0.13 PR: 217583 Submitted by: Yamagi <yamagi@yamagi.org> (maintainer) Changes: head/x11/tint/Makefile head/x11/tint/distinfo head/x11/tint/pkg-plist
Committed, thanks!