| 377 | } |
| 378 | |
| 379 | void Header::changeName(QMouseEvent *event) |
| 380 | { |
| 381 | if (_context_trace != NULL |
| 382 | && _context_trace->get_type() != SR_CHANNEL_DSO |
| 383 | && event->button() == Qt::LeftButton) |
| 384 | { |
| 385 | header_resize(); |
| 386 | QFont font = this->font(); |
| 387 | float fsize = AppConfig::Instance().appOptions.fontSize; |
| 388 | font.setPointSizeF(fsize <= 10 ? fsize: 10); |
| 389 | nameEdit->setFont(font); |
| 390 | |
| 391 | nameEdit->setText(_context_trace->get_name()); |
| 392 | nameEdit->selectAll(); |
| 393 | nameEdit->setFocus(); |
| 394 | nameEdit->show(); |
| 395 | header_updated(); |
| 396 | } |
| 397 | } |
| 398 | |
| 399 | void Header::changeColor(QMouseEvent *event) |
| 400 | { |