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

various changes (WORK IN PROGRESS) #243

Merged
merged 61 commits into from
May 30, 2021
Merged

various changes (WORK IN PROGRESS) #243

merged 61 commits into from
May 30, 2021

Conversation

DavidBJaffe
Copy link
Contributor

@DavidBJaffe DavidBJaffe commented May 29, 2021

GUI

  • help page in GUI now refers to bit.ly/enclone
  • do initial ssh to see if the firewall can be crossed at all, so that failure if not is gracious
  • make horizontal rule nicer
  • retry server launch after sleeping one second if it fails the first time
  • rearchitect to put all the visualization code in its own crate
  • delete the react demo code
  • increase allowed test time from 137 to 171 seconds
    the delta is explained by the very annoying extra compile that occurs when testing, and the increased length of that
  • reduce font size in text input box so as to make longer commands more practical
  • for now, make the clonotype tables bold
  • add scroll_crash, which exhibits a GUI crash

OTHER

  • move some scripts to a new directory "scripts"
  • add test for a bug that occurred in customer data

@DavidBJaffe DavidBJaffe reopened this May 30, 2021
@DavidBJaffe DavidBJaffe merged commit 93969c0 into master May 30, 2021
@DavidBJaffe DavidBJaffe deleted the dj/162 branch May 30, 2021 16:31
@@ -19,10 +19,6 @@ publish = false
# Please do not edit crate versions within this file. Instead edit the file master.toml
# in the root of the enclone repo.

[[bin]]
name = "enclone"
path = "src/bin/enclone.rs"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change broke the jenkins builder.

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