f68e4c8c87
Improve the star icon of `favoritewidget`
...
* Use the star icon in its native size (16 px × 16 px) instead of unnecessarily scaling it down by 1 px
* Center the star icon vertically
2015-12-21 22:25:32 +01:00
192b60d965
Use nullptr as parent parameter default everywhere
2014-02-10 16:03:54 +01:00
bebd781fdf
Reformat all non-3rd-party C/C++/Objective-C++.
...
Command line:
find src ext -regex '.*\.\(h\|cpp\|mm\)' -exec clang-format -i
-style='{BasedOnStyle: Google, DerivePointerBinding: false}' {} \;
2014-02-07 16:34:20 +01:00
9bf5690671
Use mouseReleaseEvent instead of mousePressEvent
...
Now, tabbar's mouseReleaseEvent will not be executed if we did something. This prevents middle-click to unstar a playlist, then remove it, with the same click.
Should prevent users to accidentaly loose their playlists.
2013-07-27 19:17:09 +02:00
94a70d61b9
Save playlist' id instead of tab's id in favorite widget, so we don't have to update it when tab are moved
2013-05-12 23:36:32 +02:00
5e6821dead
Add a 'favorite' widget to playlist tab, and keep in playlistlist container only favorite playlists, instead of all playlists.
2013-05-11 23:18:03 +02:00
Eduard Braun
John Maguire
Arnaud Bienner