Menu

#2312 Scroll bar stops refreshing after searching

Bug
closed-duplicate
nobody
5
2022-05-22
2022-02-04
j-camp
No

If I search in a large file, the vertical scroll bar refreshes correctly when the text window jumps to the first found occurrence, but then the scroll bar stops refreshing as I move through the file.

This happens intermittently, but I can consistently reproduce as follows:
$ for i in $(seq 900); do echo $i >> test.txt; done
$ scite test.txt
press <ctrl-f>
input "99" as search string
press <enter> (the scroll bar refreshes)
press <f3> (the scroll bar does NOT refresh)
press <f3> again (the scroll bar does NOT refresh)
press <pagedown>(the scroll bar does NOT refresh)
press <pagedown>(the scroll bar does NOT refresh)
...</pagedown></pagedown></f3></f3></enter></ctrl-f>

I am using SciTE v5.1.6 on GTK 3.24.31 on Arch Linux. I am using all default options, I haven't set any user preferences.

Discussion

  • Neil Hodgson

    Neil Hodgson - 2022-02-05
    • labels: --> scintilla, gtk
    • status: open --> open-accepted
     
  • Neil Hodgson

    Neil Hodgson - 2022-02-05

    The scroll bar on GTK stops updating in various scenarios. You can restart updating again by clicking on a menu. Maybe it has something to do with focus handling.

     
  • Neil Hodgson

    Neil Hodgson - 2022-02-05
    • status: open-accepted --> open-duplicate
     
  • Neil Hodgson

    Neil Hodgson - 2022-02-05

    This is a duplicate of [#2196].

     

    Related

    Bugs: #2196

  • j-camp

    j-camp - 2022-02-06

    I found a work around, which is to use the pop-up Find window rather than the default Find strip by setting the following in my user properties file:
    find.use.strip=0
    replace.use.strip=0

    Since I changed these properties I haven't seen this bug reoccur.

     
  • Neil Hodgson

    Neil Hodgson - 2022-04-07
     
  • Neil Hodgson

    Neil Hodgson - 2022-04-07

    A potential fix has been committed as [0b5fb5].

     

    Related

    Commit: [0b5fb5]

  • Neil Hodgson

    Neil Hodgson - 2022-05-22
    • status: open-duplicate --> closed-duplicate
     

Log in to post a comment.

MongoDB Logo MongoDB