Changeset 3580 for revtreeplugin

Show
Ignore:
Timestamp:
04/30/08 15:45:05 (8 months ago)
Author:
eblot
Message:

Cosmetic cleanup in RevtreePlugin

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • revtreeplugin/0.11/enhancers/mergeinfoenhancer/mergeinfoenhancer

    • Property svn:ignore set to
      *.pyc
  • revtreeplugin/0.11/revtree/enhancer.py

    r1908 r3580  
    4242        enhancer.repos = repos 
    4343        enhancer.creations = [] 
    44         enhancer.deliveries = [] 
    45         enhancer.groups = [] 
    4644        enhancer.svgrevtree = svgrevtree 
    4745        # z-depth indexed widgets: back=1, fore=2 
    4846        enhancer.widgets = ([], [], []) 
    4947         
    50         #self._sort() 
    5148        for branch in enhancer.repos.branches().values(): 
    5249            svgbranch = enhancer.svgrevtree.svgbranch(branch=branch) 
     
    8683            svgdstchg = svgdstbr.svgchangeset(dstchg) 
    8784            op = SvgOperation(enhancer.svgrevtree, svgsrcchg, svgdstchg, \ 
    88                               '#5faf5f') 
     85                              '#3f3f3f') 
    8986            enhancer.widgets[2].append(op) 
    9087                     
  • revtreeplugin/0.11/revtree/svgview.py

    r3491 r3580  
    735735        name = self._get_name(color, head) 
    736736        if not self._markers.has_key(name): 
     737            # It seems that WebKit needs some adjustements ... 
     738            # xos = (3.0*UNIT/100) 
     739            # yos = (3.0*UNIT/100) 
     740            # ... but Gecko does not 
     741            xos = 0 
     742            yos = 0 
    737743            if head: 
    738744                marker = SVG.marker(name, (0,0,10,8), 0, 4, UNIT/4, UNIT/4, 
    739745                                    fill=SvgColor(color), orient='auto') 
    740                 marker.addElement(SVG.polyline(((0,4),(10,0),(10,8),(0,4)))) 
     746                marker.addElement(SVG.polyline(((0-xos,4-yos),(10-xos,0-yos), 
     747                                                (10-xos,8-yos),(0-xos,4-yos)))) 
    741748            else: 
    742749                marker = SVG.marker(name, (0,0,10,8), 10, 4, UNIT/4, UNIT/4, 
    743750                                    fill=SvgColor(color), orient='auto') 
    744                 marker.addElement(SVG.polyline(((0,0),(0,8),(10,4),(0,0)))) 
     751                marker.addElement(SVG.polyline(((0+xos,0-yos),(0+xos,8-yos), 
     752                                                (10+xos,4-yos),(0+xos,0-yos)))) 
    745753            self._markers[name] = marker 
    746754        return name