[tode_st] master merge

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[tode_st] master merge

Dale Henrichs-3
- add source field to block navigator
- fixed the problem with some shortcut keys getting short-curcuited in pharo3.0
- limit the number of indexable fields shown in navigator. I figure if you're 
  navigating a large collection you can write an expression to find the slots 
  you are interested in ... I could be wrong:)
- defaults for `project load` command match interactive `project load`

----
2c45e21 7 minutes ago Merge branch 'dev'
081154d 33 minutes ago Merge branch 'dev' of github.com:dalehenrich/tode into dev
fc640a5 33 minutes ago change the `project load` command defaults to match the interactive `project load` defaults and document the default values
cdf4177 76 minutes ago ping travis
fc71015 4 hours ago missing bit
4454d3d 15 hours ago disallow the KM keyboard shortcut handlers for tode windows ...
02bd8e7 20 hours ago - add more elements on end of UnorderedCollection navigation lists - better logic for detecting source code format changes for setting breakpoints
6069806 21 hours ago - remove some obsolete client protocol (modelSleep) - limit number of elements shown in navigator ...
1d4ca8d 22 hours ago - fix TodeClientMethodElement>>copyForSpawn - fix spawing method from prof monitor tool
07fa178 23 hours ago add (source) navigator field for ExecBlocks
92cb6c1 2 days ago Merge branch 'dev': tweaks for imminent GsDevKit release
83a41ee 2 days ago ignore README.md in the client/descriptions directory; signal error when running headless and error occurs on server while running tODE command
e52f4a3 2 days ago Merge branch 'dev': support of the imminent GsDevKit release

--
You received this message because you are subscribed to the Google Groups "tODE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.