GNU 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
Submitter: | Miguel de Benito <mdbenito> | ||
Submitted: | Fri 23 Mar 2012 08:41:19 PM UTC | ||
Category: | Qt port | Priority: | 5 - Normal |
Item Group: | Error | Status: | Fixed |
Privacy: | Public | Assigned to: | vdhoeven |
Originator Name: | Open/Closed: | Closed | |
Release: | None | Release: | |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Jump to the original submission
Mon 02 Dec 2013 09:46:19 AM UTC, comment #6: |
Miguel de Benito <mdbenito> |
Fri 29 Nov 2013 10:32:27 PM UTC, 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> |
Sun 30 Dec 2012 11:15:06 PM UTC, 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> |
Thu 30 Aug 2012 01:44:41 PM UTC, comment #3: In related news: the widget choices isn't refreshed (as discussed yesterday). |
Miguel de Benito <mdbenito> |
Sun 29 Jul 2012 10:27:57 AM UTC, comment #2: The problem is the caching inside the refresh widget. Disable it inside recompute() and things work (partially) as expected.
|
Miguel de Benito <mdbenito> |
Sat 21 Apr 2012 02:53:08 PM UTC, comment #1: Keep under Qt Port, for better reminder for me.
|
Joris van der Hoeven <vdhoeven> |
Fri 23 Mar 2012 08:41:19 PM UTC, original submission:
There's a problem with the refresh widget. See the attached .tm file
|
Miguel de Benito <mdbenito> |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 4 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2013-11-29 | vdhoeven | Status | Confirmed | Fixed | |
Open/Closed | Open | Closed | |||
2012-04-21 | vdhoeven | Category | User Interface | Qt port | |
2012-03-23 | mdbenito | Attached File | - | Added refresh_widget.tm, #25458 |
Powered by Savane 3.13-cf05.
Corresponding source code
show-module-widget is now open-module-browser (which should be rewritten with the new refresh*able* widgets, then finished), and the error is gone, yes.