GitHub · Where software is built

Labels Milestones New issue

Branch ??: Consider replacing unregister_key with disable_key

Priority-Medium

#24

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Share null widgets

Priority-Medium

#22

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Extra completion features

Priority-Medium

#23

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Rename "cache" in Widget to "surface copy" or whatever

Priority-Medium

#20

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Cannot put OverlayWidget inside OverlayWidget

Priority-Medium

#21

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Box relay_focus is an init argument, inconsistent with other attributes

Priority-Medium

#18

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Keymap should allow multiple nexts

Priority-Medium

#19

· GoogleCodeExporter opened

on Mar 30, 2015

Delete large binary files from the working tree and perhaps repository

Priority-Medium

#16

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Re-entrant handling of activated() notification may be wrong

Priority-Medium

#15

· GoogleCodeExporter opened

on Mar 30, 2015

Branch ??: Use consistent module naming in gui/

Priority-Medium

#17

· GoogleCodeExporter opened

on Mar 30, 2015

branch graphui: re-write Mousemap and fix Node, Edge and Graph Widgets in accordance

Priority-Medium

Project-Graphui

#13

· GoogleCodeExporter opened

on Mar 30, 2015

Branch 14-Dict-obs: Dict's obs_dict notifies the wrong name (set should be replace)

Priority-Medium

#14

· GoogleCodeExporter opened

on Mar 30, 2015