Menu

savi-dev Commit Log


Commit Date  
[r141] by lloydwood

Adding in coverage panel Display submenu for map sizes. Adding
a custom map option -- this is still not clear at low map sizes;
slight bug.

2020-01-08 05:59:21 Tree
[r140] by lloydwood

Removing unused global variables, detected by a script I wrote myself.
So proud!

Need to be careful in procedures that source tcl scripts, because
the globals might be needed by those scripts...

2020-01-06 05:09:39 Tree
[r139] by lloydwood

Tweaks to the manual.

2020-01-05 04:15:42 Tree
[r138] by lloydwood

Minor tweaks to large and small map descriptions.

2020-01-05 03:00:24 Tree
[r137] by lloydwood

Removing some unused global variable declarations.
If only there were a tool to check for this...

2020-01-05 02:47:59 Tree
[r136] by lloydwood

Removing now-unneeded initial size/colors choice dialog.

2020-01-05 02:43:49 Tree
[r135] by lloydwood

Cleanup of an unnecessary function post map resizing commit.

2020-01-04 10:04:48 Tree
[r134] by lloydwood

if we're already the selected map size, do nothing.

2020-01-04 09:37:29 Tree
[r133] by lloydwood

Supporting changing between large and small maps on the fly
in a Coverage window menu.

2020-01-04 09:17:43 Tree
[r132] by lloydwood

Fixing save and load of satellites as Tcl script so that names match
their satellites. To do this we throw away some information from GET.

2020-01-03 10:22:37 Tree
Older >
MongoDB Logo MongoDB