bugGNU TeXmacs - Bugs: bug #36681, Special case of delimiting box not...

 
 

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

bug #36681: Special case of delimiting box not drawing

Submitter:  Lebreton Romain <lebreton>
Submitted:  Tue 19 Jun 2012 08:20:19 AM UTC
   
 
Category:  User Interface Priority:  3 - Low
Item Group:  Error Status:  Fixed
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release:  1.0.7.16
Fixed Release:  None Fixed Release: 
Keywords: 

Fri 29 Nov 2013 08:14:40 PM UTC, comment #2: 

Fixed in revision 7960.

Joris van der Hoeven <vdhoeven>
Group administrator
Wed 08 Aug 2012 10:15:25 AM UTC, comment #1: 

Jumping from word to word is implemented in utils/library/cursor.scm using go-to-same-buffer. This in turn uses edit_cursor_rep::go_to (path p), which doesn't update the selection.

There are two possible fixes, attached as two different (tiny) patches:

  • Change edit_cursor_rep::go_to (path p) to call edit_select_rep::select_from_cursor () (file bug36681.patch)


Or:

  • Change the tm-defined go-to-same-buffer as in bug36681_2.patch to call select-from-cursor.


I think the second one is the less likely to have unwanted side effects. Comments?


(file #26333, file #26334)

Miguel de Benito <mdbenito>
Group Member
Tue 19 Jun 2012 08:20:19 AM UTC, original submission:  

Start a text selection with Ctrl-Space and move word by word by Ctrl-RightArrow. Then the selection box does not draw itself.

Lebreton Romain <lebreton>
Group Member

 

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

Attached Files
file #26333:  bug36681.patch added by mdbenito (320B - application/octet-stream)
file #26334:  bug36681_2.patch added by mdbenito (609B - 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 (Updated the item)
  • -email is unavailable- added by mdbenito (Updated the item)
  • -email is unavailable- added by lebreton (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 11 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2013-11-29 vdhoeven StatusConfirmed Fixed
        Assigned tomdbenito vdhoeven
        Open/ClosedOpen Closed
    2013-11-27 vdhoeven Priority4 - Bit lower 3 - Low
    2012-08-08 mdbenito Release 1.0.7.16
    2012-08-08 mdbenito Attached File- Added bug36681.patch, #26333
        Attached File- Added bug36681_2.patch, #26334
        Priority5 - Normal 4 - Bit lower
        Item GroupNone Error
        Assigned toNone mdbenito
    2012-06-30 fpoulain StatusNone Confirmed

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code