Skip to content

Instantly share code, notes, and snippets.

@ddribin

ddribin/gist:43875

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.
Download ZIP
Raw
gistfile1.txt
%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