Refresh Explorer

#1

Feature requests:

1) shortcut key for Explorer data refresh

2) ability to set 'auto-refresh' for explorer when run in client-server mode.

ie: current view will refresh every n seconds.

Thanks

David

 

#2

A new Refresh toolbar button and an accelerator key (Ctrl+R) were added in build 2.5.6_04.

ObjectDB Support
ObjectDB - Fast Object Database for Java (JPA/JDO)

Post Reply

To post a reply and/or subscribe to update notifications - please login