| ... | ... |
@@ -95,10 +95,6 @@ class Shape: |
| 95 | 95 |
|
| 96 | 96 |
class TextShape(Shape): |
| 97 | 97 |
|
| 98 |
- #fontmap = pangocairo.CairoFontMap() |
|
| 99 |
- #fontmap.set_resolution(72) |
|
| 100 |
- #context = fontmap.create_context() |
|
| 101 |
- |
|
| 102 | 98 |
LEFT, CENTER, RIGHT = -1, 0, 1 |
| 103 | 99 |
|
| 104 | 100 |
def __init__(self, pen, x, y, j, w, t): |
| ... | ... |
@@ -395,7 +391,6 @@ class Node(Element): |
| 395 | 391 |
def get_url(self, x, y): |
| 396 | 392 |
if self.url is None: |
| 397 | 393 |
return None |
| 398 |
- #print (x, y), (self.x1, self.y1), "-", (self.x2, self.y2) |
|
| 399 | 394 |
if self.is_inside(x, y): |
| 400 | 395 |
return Url(self, self.url) |
| 401 | 396 |
return None |
| ... | ... |
@@ -1505,7 +1500,6 @@ class DotWidget(gtk.DrawingArea): |
| 1505 | 1500 |
return True |
| 1506 | 1501 |
|
| 1507 | 1502 |
def set_xdotcode(self, xdotcode): |
| 1508 |
- #print xdotcode |
|
| 1509 | 1503 |
parser = XDotParser(xdotcode) |
| 1510 | 1504 |
self.graph = parser.parse() |
| 1511 | 1505 |
self.zoom_image(self.zoom_ratio, center=True) |
| ... | ... |
@@ -1696,8 +1690,6 @@ class DotWidget(gtk.DrawingArea): |
| 1696 | 1690 |
|
| 1697 | 1691 |
def begin_print(self, operation, context): |
| 1698 | 1692 |
operation.set_n_pages(1) |
| 1699 |
- #operation.set_support_selection(True) |
|
| 1700 |
- #operation.set_has_selection(True) |
|
| 1701 | 1693 |
return True |
| 1702 | 1694 |
|
| 1703 | 1695 |
def draw_page(self, operation, context, page_nr): |
| ... | ... |
@@ -1871,7 +1863,6 @@ class DotWindow(gtk.Window): |
| 1871 | 1863 |
|
| 1872 | 1864 |
find_action = FindMenuToolAction("Find", None,
|
| 1873 | 1865 |
"Find a node by name", None) |
| 1874 |
- #find_action.set_tool_item_type(gtk.ToolItem) |
|
| 1875 | 1866 |
actiongroup.add_action(find_action) |
| 1876 | 1867 |
|
| 1877 | 1868 |
# Add the actiongroup to the uimanager |