#429 Search box to be resizable

closed-works-for-me
nobody
core (195)
5
2012-07-30
2012-03-02
Ken Turner
No

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)?

Discussion

  • Ken Turner

    Ken Turner - 2012-03-02

    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!

     
  • Ken Turner

    Ken Turner - 2012-03-02

    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.

     
  • Jarek Czekalski

    Jarek Czekalski - 2012-07-30
    • status: open --> closed-works-for-me
     
  • Jarek Czekalski

    Jarek Czekalski - 2012-07-30

    I think there's nothing we can do about that due to lack of reproducibility.

     

Log in to post a comment.