Known Issues:

• Visual bug may occur where elements are overlapping or scrollpanes are too small for their agument boxes.
  Any action that causes the tree to be redrawn will fix this for the time being.
• Not currently possible to stipulate an argument's implication. This is theoretically possible, but would be
  complicated to implement and rarely useful, so it is not currently being pursued.
• No clipboard access in the applet version (this basiclaly renders the load button useless - must pass in a URL parameter).
• Legend doesn't work in .jar version
• Regular controls not disabled while some dialogs are open.
• Crashes caused by circular reasoning are prevented, but circular reasoning is not.
• Duplicate propsositions in the same argument are not prevented.
• It's not currently possible to argue against the conjunction of two premises.
  If you know either A or B must be false, but you don't know which,
  it is advisible instead to argue against A while premising B, and argue against B while premising A.