<commit_before>//////////////////////////////////////////////////////////////////////

// The padding that Ace puts on its content
var CONTENT_PADDING_LEFT = 4;

var userCoding = true;

var editor;
var markers = [];
var fontSize = 16;

var aceContent;
var aceScroller;

function initialize() {
  editor = ace.edit("editor");
  editor.$blockScrolling = Infinity;
  editor.setTheme("ace/theme/tomorrow_night");
  editor.setFontSize(fontSize);
  editor.getSession().setMode("ace/mode/elm");
  editor.setOption("dragEnabled", true); // true by default anyway
  editor.setOption("highlightActiveLine", false);
  editor.setShowPrintMargin(false);
  editor.getSession().setUseSoftTabs(true);
  editor.getSession().setTabSize(2);
  editor.setDisplayIndentGuides(false);

  editor.on("input", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });
  editor.selection.on("changeCursor", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });

  editor.getSession().on("changeScrollTop", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);

  });
  editor.getSession().on("changeScrollLeft", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });
  editor.getSession().on("change", function() {
    if (userCoding) {
      app.ports.userHasTyped.send(null);
    }<commit_msg>editor.setOption("scrollPastEnd", 0.5);<commit_after>//////////////////////////////////////////////////////////////////////

// The padding that Ace puts on its content
var CONTENT_PADDING_LEFT = 4;

var userCoding = true;

var editor;
var markers = [];
var fontSize = 16;

var aceContent;
var aceScroller;

function initialize() {
  editor = ace.edit("editor");
  editor.$blockScrolling = Infinity;
  editor.setTheme("ace/theme/tomorrow_night");
  editor.setFontSize(fontSize);
  editor.getSession().setMode("ace/mode/elm");
  editor.setOption("dragEnabled", true); // true by default anyway
  editor.setOption("highlightActiveLine", false);
  editor.setOption("scrollPastEnd", 0.5);
  editor.setShowPrintMargin(false);
  editor.getSession().setUseSoftTabs(true);
  editor.getSession().setTabSize(2);
  editor.setDisplayIndentGuides(false);

  editor.on("input", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });
  editor.selection.on("changeCursor", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });

  editor.getSession().on("changeScrollTop", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);

  });
  editor.getSession().on("changeScrollLeft", function() {
      var info = getEditorState();
      app.ports.receiveEditorState.send(info);
  });
  editor.getSession().on("change", function() {
    if (userCoding) {
      app.ports.userHasTyped.send(null);
    }
{'fraction_non_alphanumeric': 0.19134550371872888, 'fraction_numerical': 0.004056795131845842, 'mean_word_length': 3.4697885196374623, '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': '1274854', 'n_tokens_mistral': 906, 'n_tokens_neox': 876, 'n_words': 155}