OpenEditor / Bugs / #7 Refresh problem when closing non-saved tab

milestone: --&gt; Next_release
assigned_to: nobody --&gt; tmk_pl

#7 Refresh problem when closing non-saved tab

Milestone: Next_release

Status: open

Priority: 5

Updated: 2006-02-05

Created: 2006-01-17

Private: No

>>Michel Traisnel:
Refresh problem when closing non-saved tab (like
sql1.sql*) by double-clicking : closed tab still
appears till click on editor.