[pgAdmin III] #252: Line numbers in trigger properties (body) are displayed twice

#252: Line numbers in trigger properties (body) are displayed twice
--------------------------------+-------------------------------------------
 Reporter:  Holger Kopp-Musick  |       Owner:  gleu
     Type:  bug                 |      Status:  new 
 Priority:  minor               |   Milestone:      
Component:  pgadmin             |     Version:  1.12
 Keywords:  trigger package     |    Platform:  all 
--------------------------------+-------------------------------------------
 I've encountered another small bug concering the line numbers in pgadmin
 (1.12.1; win32, xp, german lang.): if "line numbers" are activated in the
 query tool they are displayed twice in the properties of a trigger ("body"
 tab).

--
Ticket URL: <http://code.pgadmin.org/trac/ticket/252>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III