var current_form = null;

function addEvent(elem, evname, func)
{
  if (elem.attachEvent) eval("elem.on" + evname + "=func;");
  else elem.addEventListener(evname, func, false);
}

function form_set_ctrl_enter(form)
{
  current_form = form;

  for (var i = 0; i < form.elements.length; i++)
  {
    var element = form.elements[i];

    addEvent(element, "keydown", submit_ctrl_enter);
  }
}

function submit_ctrl_enter(e)
{
  if (!e) e = window.event;

  if (!(e.keyCode == 13 && (e.ctrlKey || e.altKey)))
  {
    return;
  }

  if (!e.shiftKey)
  {
    current_form.submit();
  }
}

form_set_ctrl_enter(document.getElementById('post_form'));