From: SourceForge.net <no...@so...> - 2012-07-30 09:57:50
|
Feature Requests item #3496261, was opened at 2012-03-02 03:38 Message generated for change (Comment added) made by jarekczek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=3496261&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: core Group: None >Status: Closed >Resolution: Works For Me Priority: 5 Private: No Submitted By: Ken Turner (kjt) Assigned to: Nobody/Anonymous (nobody) Summary: Search box to be resizable Initial Comment: The search box in jEdit 4.5.0 appears to have shrunk to about half the size of previous versions. This makes it hard to read text of more than a few characters. Can this either be restored to its previous size or made resizable (a global option for NN characters)? ---------------------------------------------------------------------- >Comment By: Jarek Czekalski (jarekczek) Date: 2012-07-30 02:57 Message: I think there's nothing we can do about that due to lack of reproducibility. ---------------------------------------------------------------------- Comment By: Ken Turner (kjt) Date: 2012-03-02 07:12 Message: I discovered that the "Search for" bar wasn't expanding when the window was widened. I replaced the "properties" file with one from another PC, and the problem went away. Even if I now go back the original "properties" file, the problem has vanished. It seems that changing from 4.4.2 to 4.5.0 resulted in this behaviour, though I can't pinpoint the cause. ---------------------------------------------------------------------- Comment By: Ken Turner (kjt) Date: 2012-03-02 06:03 Message: To clarify what I said, I am referring to the size of the "Search for:" text box that appears at the top of the jEdit window. What controls this? Thanks! ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=3496261&group_id=588 |