Changeset fa864158f7bbe5120d55ea64cce775c4ee25a78a
- Timestamp:
- 11/25/08 21:52:03 (3 years ago)
- Author:
- Gabriel Falcão <gabriel@…>
- Children:
- 3eb613198d10628b37985303db0f8dfb2a245b33
- Parents:
- 4c8944440c82436fa740b18e66a68b0ee3429670
- git-committer:
- Gabriel Falcão <gabriel@…> (11/25/08 21:52:03)
- Message:
-
Fixing dual head monitors bug (closes #68)
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r4c89444
|
rfa86415
|
|
| | 1 | 2008-11-25 Gabriel Falcão <gabriel@nacaolivre.org> |
| | 2 | |
| | 3 | * src/guake.py: Applying Licio's (liciofernando@gmail.com) patch for |
| | 4 | dual head monitors. |
| | 5 | |
| 1 | 6 | 2008-08-09 Gabriel Falcão <gabriel@nacaolivre.org> |
| 2 | 7 | |
-
|
r4c89444
|
rfa86415
|
|
| 807 | 807 | |
| 808 | 808 | def get_window_size(self): |
| 809 | | width = self.window.get_screen().get_width() |
| | 809 | screen = self.window.get_screen() |
| 810 | 810 | height = self.client.get_int(GCONF_PATH+'general/window_size') |
| 811 | 811 | # avoiding X Window system error |
| 812 | | max_height = self.window.get_screen().get_height() |
| | 812 | max_height = screen.get_height() |
| 813 | 813 | |
| 814 | 814 | if height > max_height: |
| 815 | 815 | height = max_height |
| | 816 | # get the width just from the first/default monitor |
| | 817 | # in the future we might create a field to select which monitor you wanna use |
| | 818 | width = screen.get_monitor_geometry(0).width |
| | 819 | |
| 816 | 820 | |
| 817 | 821 | return width, height |