diff options
author | Paul Oliver <contact@pauloliver.dev> | 2024-02-29 02:29:14 +0100 |
---|---|---|
committer | Paul Oliver <contact@pauloliver.dev> | 2024-02-29 02:29:14 +0100 |
commit | 3693aced9cc6417b4540dfda08f7733146ce0392 (patch) | |
tree | ee21749d0b8d46ea244a5ee8097212246d3e7f04 | |
parent | 36e1e5222d094714e673506d857e6d93cdcd8e38 (diff) |
Selected process now listed in PROCESS view.
This solves issue [#18].
-rw-r--r-- | bin/printer.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/printer.py b/bin/printer.py index 5628737..67794ea 100644 --- a/bin/printer.py +++ b/bin/printer.py @@ -521,6 +521,7 @@ class Printer: ("e", "capacity", self.__sim.lib.sal_proc_get_capacity), ("e", "first", self.__sim.lib.sal_proc_get_first), ("e", "last", self.__sim.lib.sal_proc_get_last), + ("e", "selected", lambda: self.selected_proc), ]), ("WORLD", [ ("e", "position", lambda: self.world.pos), |