# HG changeset patch # User Yves-Marie Haussonne <1218002+ymph@users.noreply.github.com> # Date 1298283334 -3600 # Node ID 5422b3d398c54773d42cc3948537c4a6f82fecdd # Parent 0829cd5dc6e8a79bce41610fb0c5c38fb4915c97 shlightly improve mouse event management diff -r 0829cd5dc6e8 -r 5422b3d398c5 .project --- a/.project Fri Feb 18 19:50:52 2011 +0100 +++ b/.project Mon Feb 21 11:15:34 2011 +0100 @@ -6,6 +6,11 @@ + org.eclipse.wst.jsdt.core.javascriptValidator + + + + org.python.pydev.PyDevBuilder @@ -13,5 +18,6 @@ org.python.pydev.pythonNature + org.eclipse.wst.jsdt.core.jsNature diff -r 0829cd5dc6e8 -r 5422b3d398c5 .settings/.jsdtscope --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.settings/.jsdtscope Mon Feb 21 11:15:34 2011 +0100 @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff -r 0829cd5dc6e8 -r 5422b3d398c5 .settings/org.eclipse.wst.jsdt.ui.superType.container --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.settings/org.eclipse.wst.jsdt.ui.superType.container Mon Feb 21 11:15:34 2011 +0100 @@ -0,0 +1,1 @@ +org.eclipse.wst.jsdt.launching.baseBrowserLibrary \ No newline at end of file diff -r 0829cd5dc6e8 -r 5422b3d398c5 .settings/org.eclipse.wst.jsdt.ui.superType.name --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.settings/org.eclipse.wst.jsdt.ui.superType.name Mon Feb 21 11:15:34 2011 +0100 @@ -0,0 +1,1 @@ +Window \ No newline at end of file diff -r 0829cd5dc6e8 -r 5422b3d398c5 web/rsln/polemicaltimeline.php --- a/web/rsln/polemicaltimeline.php Fri Feb 18 19:50:52 2011 +0100 +++ b/web/rsln/polemicaltimeline.php Mon Feb 21 11:15:34 2011 +0100 @@ -156,14 +156,14 @@ }); - -