Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
DISCONTINUED:openSUSE:11.1:Update
mysql-gui-tools
mysql-workbench-start.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File mysql-workbench-start.patch of Package mysql-gui-tools
--- mysql-workbench/source/lua/Workbench.lua +++ mysql-workbench/source/lua/Workbench.lua @@ -1683,10 +1683,10 @@ local x= grtV.toLua(args[1]) local y= grtV.toLua(args[2]) local curView= grtV.getGlobal("/workbench/model/currentView") - local lowestX= 9999999999.0 - local lowestY= 9999999999.0 - local highestX= 0.0 - local highestY= 0.0 + local lowestX= 9999999999 + local lowestY= 9999999999 + local highestX= 0 + local highestY= 0 local i, c
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
