PHPDevShell

  1. Bug #691405
  2. Comment #1

Comment 1 for bug 691405

Revision history for this message
TitanKing (titan-phpdevshell) wrote :

This is a difficult one, tabs are treated differently then mouse hovers. I dont know if we will be able to do anything about it yet.