This repository was archived by the owner on Sep 6, 2021. It is now read-only.

Adds a refresh menu item#3370

Merged

gruehle merged 6 commits intomasterfrom

nj/manual-refresh

May 19, 2013

Commits on Apr 24, 2013

Added Refresh context menu item

Victor Gama
authored and
Narciso Jaramillo
committed
Fixups for refresh:
Narciso Jaramillo
committed

Commits on May 17, 2013

Merge branch 'master' into nj/manual-refresh
Narciso Jaramillo
committed
Merge branch 'master' into nj/manual-refresh
Narciso Jaramillo
committed

Commits on May 19, 2013

Make sure we always either resolve or reject a render promise in the project tree
Narciso Jaramillo
committed
Add timeout for render promise
Narciso Jaramillo
committed

⚡