Skip to content

Instantly share code, notes, and snippets.

@ddribin
Created January 6, 2009 16:15
Show Gist options
  • Save ddribin/43875 to your computer and use it in GitHub Desktop.
Save ddribin/43875 to your computer and use it in GitHub Desktop.
%start PubSubRefresh::Idle
%class PubSubRefresh
%header PubSubRefresh.h
%map PubSubRefreshMap
%%
Idle
{
Start Refreshing { startRefresh(); }
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment