bugGNU TeXmacs - Bugs: bug #35970, bug in refresh widget


You are not allowed to post comments on this tracker with your current authentication level.

bug #35970: bug in refresh widget

Submitted by:  Miguel de Benito <mdbenito>
Submitted on:  Fri Mar 23 20:41:19 2012  
Category: Qt portPriority: 5 - Normal
Item Group: ErrorStatus: Fixed
Privacy: PublicAssigned to: Joris van der Hoeven <vdhoeven>
Originator Name: Open/Closed: Closed
Release: Release: None
Fixed Release: NoneFixed Release: 

(Jump to the original submission Jump to the original submission)

Mon Dec 2 09:46:19 2013, comment #6:

show-module-widget is now open-module-browser (which should be rewritten with the new refreshable widgets, then finished), and the error is gone, yes.

Miguel de Benito <mdbenito>
Project Member
Fri Nov 29 22:32:27 2013, comment #5:

The original bug has been fixed according to Miguel. I cannot reproduce the bug from comment #4 since show-module-widget does no longer seem to exist. Please submit a new bug report if the bug is still present somewhere.

Joris van der Hoeven <vdhoeven>
Project AdministratorIn charge of this item.
Sun Dec 30 23:15:06 2012, comment #4:

The bugs described below are fixed, but new ones appear (SVN 6049): sometimes two get drawn overlapped instead of one: try (show-module-widget) and play with it a little bit; after a while you may notice that the title of the right column looks doubled, sometimes a whole white background gets overlapped. At this point the right choice_widget stops auto-scrolling correctly while browsing with the cursor keys. I think there are two choice_widgets one over the other. Other weird things happen: sometimes the right choice_widget is wholly detached from the hsplit and it doesn't resize anymore and under X11 the right scrollbar doesn't show at all.

Miguel de Benito <mdbenito>
Project Member
Thu Aug 30 13:44:41 2012, comment #3:

In related news: the widget choices isn't refreshed (as discussed yesterday).

Miguel de Benito <mdbenito>
Project Member
Sun Jul 29 10:27:57 2012, comment #2:

The problem is the caching inside the refresh widget. Disable it inside recompute() and things work (partially) as expected.

However, even then, clicking on an item somehow refreshes the widget and clears the selection in the choice widget.

Miguel de Benito <mdbenito>
Project Member
Sat Apr 21 14:53:08 2012, comment #1:

Keep under Qt Port, for better reminder for me.

Joris van der Hoeven <vdhoeven>
Project AdministratorIn charge of this item.
Fri Mar 23 20:41:19 2012, original submission:

There's a problem with the refresh widget. See the attached .tm file

The following works:

But the following doesn't:

However, enclosing it in a for loop does:

But not evaluating widget82-list causes it not to work again:

Miguel de Benito <mdbenito>
Project Member


Attached Files
file #25458:  refresh_widget.tm added by mdbenito (1kB - application/octet-stream)


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -unavailable- added by vdhoeven (Posted a comment)
  • -unavailable- added by mdbenito (Submitted the item)

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.


    Please enter the title of George Orwell's famous dystopian book (it's a date):



    Follow 4 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri Nov 29 22:32:27 2013vdhoevenStatusConfirmed=>Fixed
    Sat Apr 21 14:53:08 2012vdhoevenCategoryUser Interface=>Qt port
    Fri Mar 23 20:41:19 2012mdbenitoAttached File-=>Added refresh_widget.tm, #25458

    Back to the top

    Powered by Savane 3.1-cleanup1