equal
deleted
inserted
replaced
56 |
56 |
57 /* command overview */ |
57 /* command overview */ |
58 |
58 |
59 def overview_color(snapshot: Document.Snapshot, command: Command): Option[Color] = |
59 def overview_color(snapshot: Document.Snapshot, command: Command): Option[Color] = |
60 { |
60 { |
61 val state = snapshot.command_state(command) |
|
62 if (snapshot.is_outdated) None |
61 if (snapshot.is_outdated) None |
63 else { |
62 else { |
|
63 val state = snapshot.state.command_state(snapshot.version, command) |
64 val status = Protocol.command_status(state.status) |
64 val status = Protocol.command_status(state.status) |
65 |
65 |
66 if (status.is_unprocessed) Some(unprocessed_color) |
66 if (status.is_unprocessed) Some(unprocessed_color) |
67 else if (status.is_running) Some(running_color) |
67 else if (status.is_running) Some(running_color) |
68 else if (status.is_finished) { |
68 else if (status.is_finished) { |