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

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: 

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.

Miguel de Benito <mdbenito>
Group Member
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>
Group administrator
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>
Group Member
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>
Group Member
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.

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

Miguel de Benito <mdbenito>
Group Member
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>
Group administrator
Fri 23 Mar 2012 08:41:19 PM UTC, original submission:  

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

The following works:


(tm-widget (widget82-sub)
  (for (x widget82-list)
    (text (eval x))))
(tm-widget (widget82)
  (vlist
    (input (if answer (set! widget82-list (cons answer widget82-list)))
             "string" '() "10em")
      ===
      (refresh widget82-sub)))


But the following doesn't:


(tm-widget (widget82-sub)
  (choice (display* answer "\n") widget82-list ""))


However, enclosing it in a for loop does:


(tm-widget (widget82-sub)
  (for (x widget82-list)
    (choice (display* answer "\n") widget82-list "")))


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


(tm-widget (widget82-sub)
  (for (x '(a))
    (choice (display* answer "\n") widget82-list "")))


Miguel de Benito <mdbenito>
Group Member

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

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

 

Depends on the following items: None found

Items that depend on this one: None found

 

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

    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 StatusConfirmed Fixed
        Open/ClosedOpen Closed
    2012-04-21 vdhoeven CategoryUser Interface Qt port
    2012-03-23 mdbenito Attached File- Added refresh_widget.tm, #25458

    Back to the top

    Powered by Savane 3.13-da57.
    Corresponding source code