chiark
/
gitweb
/
~mdw
/
rocl
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1775d50
)
Prevent unneceessary recomputation of adjacency maps.
author
mdw
<mdw>
Wed, 26 Feb 2003 00:02:15 +0000
(
00:02
+0000)
committer
mdw
<mdw>
Wed, 26 Feb 2003 00:02:15 +0000
(
00:02
+0000)
elite-editor
patch
|
blob
|
blame
|
history
diff --git
a/elite-editor
b/elite-editor
index ea8bc1a3616e20173f0b455d68210623dd164450..8777e13195e08ec5f637d2cd4e1c87269c94b296 100755
(executable)
--- a/
elite-editor
+++ b/
elite-editor
@@
-1,6
+1,6
@@
#! /usr/bin/wish
#
-# $Id: elite-editor,v 1.
3 2003/02/25 10:05:08
mdw Exp $
+# $Id: elite-editor,v 1.
4 2003/02/26 00:02:15
mdw Exp $
package require "elite" "1.0.0"
@@
-572,7
+572,7
@@
proc map-set-galaxy {seq ng g} {
proc map-set-fuel {seq qty} {
upvar \#0 map-$seq map
- set map(fuel) [expr {
$qty + 0.0
}]
+ set map(fuel) [expr {
int($qty)
}]
select-world $seq
show-connectivity $seq
}