Viewing all changes in revision 794.

Committer: Rico Tzschichholz
Date: 2013-04-01 19:13:18 UTC
Revision ID: ricotz@ubuntu.com-20130401191318-vg2dzmpex6epovo3

dockrenderer: Use frame_time in one more place

In addition to changes of r791

added added

removed removed