[ jEdit-devel ] [ jedit-Bugs-813257 ] Global Options Popup window does not close

[SourceForge.net <no...@so...>]

Bugs item #813257, was opened at 2003-09-26 13:09
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=813257&group_id=588

Category: editor core
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Global Options Popup window does not close 

Initial Comment:
Jedit 4.2pre5 on Mac OS X (10.2.6)



I have had this bug a few times when I open the General

Options popup window.  I have usually been using the

shortcuts subwindow.   



When I have hit "OK" on the window, the text option are

cleared however the window stays open without being

able to close it (even clicking the close window area

on the window bar).   This is mainly an annoying bug

because after closing any other window that is opened

shifts the focus to the empty window.  



Pet...@tu...

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=813257&group_id=588