Various batch tweaks, for better execution options etc.

This commit is contained in:
Lance Edgar 2017-11-29 18:26:55 -06:00
parent df3623b663
commit 6decabb369
3 changed files with 10 additions and 9 deletions

View file

@ -16,8 +16,7 @@ $(function() {
if (has_execution_options) {
$('#execution-options-dialog').dialog({
title: "Execution Options",
width: 500,
height: 300,
width: 600,
modal: true,
buttons: [
{