Paste: jedit integration failed

Author: rech
Mode: factor
Date: Fri, 5 Apr 2013 16:35:51
Plain Text |
! Windows 7+ jedit 5.1Preview
! Launching failed with error:
! Win32 error 0x57: 参数错误。
! Launch descriptor:

T{ process
    { command
        {
            f
            "-reuseview"
            "D:\\factor/extra/demos/demos.factor"
            "+line:14"
        }
    }
    { detached t }
    { environment H{ } }
    { environment-mode +append-environment+ }
    { group +same-group+ }
}

New Annotation

Summary:
Author:
Mode:
Body: