mirror of
https://github.com/levinsv/pgadmin3.git
synced 2026-05-15 14:15:49 -06:00
linux optimization.
This commit is contained in:
parent
e7f545e444
commit
0e0aae430a
4 changed files with 10 additions and 4 deletions
|
|
@ -1170,7 +1170,9 @@ void ctlSQLBox::UpdateLineNumber()
|
|||
if (width != GetMarginWidth(0))
|
||||
{
|
||||
SetMarginWidth(0, width);
|
||||
#ifndef __WXGTK__
|
||||
Update();
|
||||
#endif
|
||||
}
|
||||
}
|
||||
else
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue