bug: bookmark list is not refreshed

[Uli Kobsa]

If I open a programm window and set some bookmarks they are displayed on the bookmark list. Then I close the window. Now the bookmarklist is not freshed and the bookmarks are still displayed until I open another programm window and place a new bookmark.

PL7SQL Dev. 7.0.1.1066

greetings,
Uli

 

[Marco Kalter]

We'll fix it.