Улучшение раздела "Командная PHP-строка"

Рейтинг: 0.7804  
Внедрено
Предложил Пользователь 14349 17.01.2023 11:14:09

Улучшение раздела "Командная PHP-строка"

Предлагаю сделать возможность переименования вкладок в разделе "Командная PHP-строка". В текущем виде, при накоплении достаточного большого их количества, ориентироваться неудобно.

Рейтинг: 1.8902  
Пользователь 136059 17.01.2023 13:28:58
Если вначале прописать
//title:ABC
то вкладки можно именовать
Рейтинг: 0  
Пользователь 14349 17.01.2023 14:17:41
Николаев Андрей, спасибо за информацию!
Не видел, чтобы такая возможность была где то описана.