<commit_before>package DLBanyan.GUI

import java.awt.event.MouseAdapter
import java.awt.event.MouseEvent

//import scala.swing._
import javax.swing._

import com.mxgraph.swing.mxGraphComponent;
import com.mxgraph.view.mxGraph;

import scala.actors.Actor
import scala.actors.Actor._

class FrontEnd(fa: Actor) extends JFrame("PROVER")  {
  
  val frontactor = fa
  fa ! 'registergui

  final val graph : mxGraph = new mxGraph()
  val gparent : Object  = graph.getDefaultParent()
<commit_msg>learning how to use these mxGraph things<commit_after>package DLBanyan.GUI

import java.awt.event.MouseAdapter
import java.awt.event.MouseEvent

//import scala.swing._
import javax.swing._

import com.mxgraph.swing.mxGraphComponent;
import com.mxgraph.view.mxGraph;

import scala.actors.Actor
import scala.actors.Actor._

class FrontEnd(fa: Actor) extends JFrame("PROVER")  {
  
  val frontactor = fa
  fa ! 'registergui

  final val graph : mxGraph = new mxGraph()
  val gparent : Object  = graph.getDefaultParent()

  graph.setCellsEditable(false)
  graph.setCellsMovable(false)
  graph.setCellsCloneable(false)
  graph.getModel().beginUpdate()
  try{
    val v1 = graph.insertVertex(gparent, null, "Hello", 20, 20, 80, 30)
    val v2 = graph.insertVertex(gparent, null, "World!", 240, 150, 80, 30)
    graph.insertEdge(gparent, null, "Edge", v1, v2)
  }
  finally
  {
    graph.getModel().endUpdate()
  }
		

  final val  graphComponent : mxGraphComponent = new mxGraphComponent(graph)
  getContentPane().add(graphComponent)




{'fraction_non_alphanumeric': 0.1091387245233399, 'fraction_numerical': 0.014464168310322156, 'mean_word_length': 4.303135888501743, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2057864', 'n_tokens_mistral': 537, 'n_tokens_neox': 510, 'n_words': 119}