Merge pull request #1205 from laanwj/2012_05_granular_ui_notifications
Finer-grained UI updates, move UI interface to boost::signals
Merge pull request #1205 from laanwj/2012_05_granular_ui_notifications 5a8398e55a5fUnpublished
Description Merge pull request #1205 from laanwj/2012_05_granular_ui_notifications Finer-grained UI updates, move UI interface to boost::signals
Details
Event TimelineWladimir J. van der Laan <laanwj@gmail.com> committed rABC5a8398e55a5f: Merge pull request #1205 from laanwj/2012_05_granular_ui_notifications (authored by Wladimir J. van der Laan <laanwj@gmail.com>).May 20 2012, 08:532012-05-20 08:53:24 (UTC+0)
Merged Changes |