Commit | Date | |
---|---|---|
[r13796]
by
bugman
Fixes for the grid GUI elements - the first row which is not deleted is now being cleared of all text. |
2011-07-21 07:29:36 | Tree |
2011-07-21 07:19:42 | Tree | |
[r13794]
by
bugman
Fix for the popup menu in the data pipe editor - the row and column were swapped. |
2011-07-21 07:18:45 | Tree |
2011-07-21 07:14:34 | Tree | |
[r13792]
by
bugman
Changed the pipe_switch observer object to pipe_alteration and all pipe changes are now signalled. |
2011-07-21 07:12:14 | Tree |
[r13791]
by
bugman
Implemented the data pipe editor window. This will be used to manipulate data pipes including how they interact with the GUI. |
2011-07-21 06:26:15 | Tree |
[r13790]
by
bugman
Converted the menu build_menu_item() method into a function of gui.components.menu. This allows it to be used more easily by other parts of the GUI. |
2011-07-20 20:08:19 | Tree |
2011-07-20 19:35:43 | Tree | |
[r13788]
by
bugman
Created page_index_from_pipe() and page_name_from_pipe() to obtain page info for a given data pipe. |
2011-07-20 19:26:29 | Tree |
2011-07-20 16:11:07 | Tree |