Skip to content

Commit

Permalink
Added Refresh button: allows refreshing currently selected grammar wh…
Browse files Browse the repository at this point in the history
…en auto-refresh checkbox is unchecked or the file system doesn't support change notifications.
  • Loading branch information
yallie committed Mar 9, 2012
1 parent 522926e commit 4621232
Show file tree
Hide file tree
Showing 3 changed files with 503 additions and 524 deletions.
Loading

0 comments on commit 4621232

Please sign in to comment.