+ draw_names: function() {
+ let players = [];
+ for (const thing_id in game.things) {
+ let t = game.things[thing_id];
+ if (t.type_ == 'Player') {
+ players.push(t);
+ }
+ };
+ function compare(a, b) {
+ if (a.name_.length > b.name_.length) {
+ return -1;
+ } else if (a.name_.length < b.name_.length) {
+ return 1;
+ } else {
+ return 0;
+ }
+ }
+ players.sort(compare);
+ const shrink_offset = Math.max(0, (terminal.rows - tui.left_window_width / 2) / 2);
+ let y = 0;
+ for (const player of players) {
+ let name = player.name_;
+ const offset_y = y - shrink_offset;
+ const max_len = Math.max(4, (tui.left_window_width / 2) - (offset_y * 2) - 8);
+ if (name.length > max_len) {
+ name = name.slice(0, max_len) + '…';
+ }
+ terminal.write(y, 0, '@' + player.thing_char + ':' + name);
+ y += 1;
+ if (y >= terminal.rows) {
+ break;
+ }
+ }
+ },