Commit Graph

17 Commits

Author SHA1 Message Date
ajacoutot
58f1a6f9f6 USE_LIBTOOL=Yes is the default now. 2013-03-21 08:45:11 +00:00
espie
eae66e4a7b PERMIT_* / REGRESS->TEST sweep 2013-03-11 11:35:43 +00:00
dcoppa
921886ba9e Fix parallel build problem
(upstream svn revision r192)
2012-11-19 14:56:58 +00:00
dcoppa
5ab6023bc9 Update to gmtk-1.0.7.
Switch to gtk+3.
2012-10-31 13:21:07 +00:00
dcoppa
4f222f2285 Fix a subtle segmentation fault at program exit time:
gmtk_media_player_dispose() would be called multiple times, leading
to a double free from gdk_color_free()
(upstream svn revision r143)
2012-06-22 15:08:44 +00:00
dcoppa
215141fdbc Fix a couple of keyboard shortcuts as they were in the wrong shift
state, similar to gnome-mplayer fix (upstream svn revision r118)
2012-06-13 07:50:10 +00:00
dcoppa
ffee4301e4 Monitor subtitle visibility better
From upstream svn
2012-05-09 14:19:36 +00:00
dcoppa
a395a8f603 Several bugfixes from upstream svn (see patches for details) 2012-05-03 15:18:50 +00:00
dcoppa
301285c09e Update to 1.0.6 2012-04-10 13:29:33 +00:00
dcoppa
5b64d2306c Bugfixes from upstream 2012-04-06 10:13:55 +00:00
dcoppa
69126f3a44 Update gmtk and gnome-mplayer to 1.0.6beta1 2012-03-26 14:41:16 +00:00
dcoppa
e3c3e70161 Only allocate a size for the child window if the parent widget is
realized (upstream svn revision r87)
2012-03-06 08:50:54 +00:00
dcoppa
f9009dcbd1 Add '-zoom' to mplayer when vo is x11
(upstream svn revision r84)
2012-01-23 11:01:34 +00:00
dcoppa
86fed82c3b Tighten gmtk dependency and fix homepage 2012-01-09 22:52:37 +00:00
dcoppa
60e9c7669a Last one, I promise. 2012-01-05 16:37:36 +00:00
dcoppa
829fe24c60 Better wording for pkg/DESCR.
no yet linked, no bump
2012-01-05 16:22:48 +00:00
dcoppa
812e17dd63 Import gmtk, the gnome-mplayer toolkit.
$ cat pkg/DESCR
gmtk is a library that is used by gnome-mplayer and gecko-mediaplayer:
several common functions and routines formerly in gnome-mplayer and
gecko-mediaplayer have been moved to this library.
gmtk can be used to build your own media players, as widgets have
been created to control mplayer: a simple media player can be built
using this library very quickly.

Feedback and ok: ajacoutot@, sebastia@
2012-01-05 14:47:10 +00:00