![]() |
Rabbit Escape
2017-01-14_18:33:47_+0000__(tag:_v0.10.1)
|
Public Member Functions | |
void | notifyAndFetch (String url, String requestProperty, String notification, GitHubPageFetchNotifier notifier) |
void rabbitescape.ui.swing.GitHubPageFetcher.notifyAndFetch | ( | String | url, |
String | requestProperty, | ||
String | notification, | ||
GitHubPageFetchNotifier | notifier | ||
) |
The UI implements this to inform the user, and fetch the page.
Implemented in rabbitescape.ui.swing.GitHubIssueDialog.IssueSpinnerModel.