david-christiansen/todo-list

set-selection bug

Opened this issue · 0 comments

While navigating around a Pie file in DrRacket w/ TODO mode on:

screen shot 2018-03-09 at 8 04 37 pm

I haven't yet figured out how to reliably trigger it. Here's the full error message:

set-selection in list-control<%>: item index is out of range
  item index: 5
  valid range: [0, 4]
  control: (object:...s/todo-list/tool.rkt:220:17 ...)
  context...:
   /Users/pnwamk/Repos/plt/6.12/share/pkgs/gui-lib/mred/private/lock.rkt:43:38
   /Users/pnwamk/Repos/plt/6.12/collects/ffi/unsafe/atomic.rkt:72:13
   /Users/pnwamk/Repos/plt/6.12/add-on/6.12/pkgs/todo-list/tool.rkt:161:10: for-loop
   /Users/pnwamk/Repos/plt/6.12/add-on/6.12/pkgs/todo-list/tool.rkt:160:8: set-current-todo method in ...s/todo-list/tool.rkt:147:6
   /Users/pnwamk/Repos/plt/6.12/share/pkgs/drracket/drracket/private/syncheck/blueboxes-gui.rkt:415:4: after-set-position method in ...ck/blueboxes-gui.rkt:176:2
   /Users/pnwamk/Repos/plt/6.12/add-on/6.12/pkgs/todo-list/tool.rkt:255:50
   /Users/pnwamk/Repos/plt/6.12/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:428:6
   /Users/pnwamk/Repos/plt/6.12/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:479:32
   /Users/pnwamk/Repos/plt/6.12/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:627:3