| Summary: | move close from right-click menu | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Bartolomeo Nicolotti <bnicolotti> |
| Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> |
| Status: | RESOLVED INVALID | QA Contact: | |
| Severity: | trivial | ||
| Priority: | P3 | ||
| Version: | 3.5.1 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Bartolomeo Nicolotti
There is an option Preferences -> General -> Workspace | "Refresh automatically". That option has a note: "Note: This can potentially be a lengthy operation depending on the number of resources you have in your workspace. " Or, can you use a keyboard shortcut? I think it is "F5" by default for refresh. |