Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixes #74 #75

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Fixes #74 #75

wants to merge 1 commit into from

Conversation

hkirat
Copy link
Contributor

@hkirat hkirat commented Mar 26, 2016

Left an offset of (.05 * circle radius) at the top and bottom, Fixed y component.

@stengel
Copy link
Member

stengel commented Mar 26, 2016

Hi, Harkirat, thanks for this, but it breaks the original
functionality - the circle size should have nothing to do
with the information set height (which is
GTE.CONSTANTS.ISET_HEIGHT and which we need, should later
come from GTE.STORAGE), nor with the placement of the
information set for that matter.

Leave it alone for a while - the whole code is not
orthogonal, because settingsCircleSize pops up at many
places where it shouldn't. I suspect this was because the
node circles are not drawn by center but by lower left
corner and then propagated wrongly through the code.

Regards,
--Bernhard

Left an offset of (.05 * circle radius) at the top and bottom, Fixed y component.
You can view, comment on, or merge this pull request online at:

#75

-- Commit Summary --

-- File Changes --

M html/js/tree/ISet.js (6)

-- Patch Links --

https://github.com/gambitproject/jsgte/pull/75.patch
https://github.com/gambitproject/jsgte/pull/75.diff


You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#75

Prof Bernhard von Stengel email: stengel@nash.lse.ac.uk
Department of Mathematics http://www.maths.lse.ac.uk/Personal/stengel
London School of Economics phone: +44-20-7955 6438 (office)
Houghton St, Room COL 4.12 +44-20-7226 2325 (home)
London WC2A 2AE, United Kingdom

@hkirat
Copy link
Contributor Author

hkirat commented Mar 26, 2016

Hmm makes sense..
Didn't follow a general approach..just a temporary fix.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants