PLCOpenEditor.py
changeset 1872 866fb3ab8778
parent 1850 614396cbffbf
child 1881 091005ec69c4
equal deleted inserted replaced
1871:933fbe9a5e2c 1872:866fb3ab8778
    33 
    33 
    34 import version
    34 import version
    35 import util.paths as paths
    35 import util.paths as paths
    36 import util.ExceptionHandler
    36 import util.ExceptionHandler
    37 from util.misc import InstallLocalRessources
    37 from util.misc import InstallLocalRessources
       
    38 from docutil.docpdf import open_pdf
    38 from IDEFrame import IDEFrame, AppendMenu
    39 from IDEFrame import IDEFrame, AppendMenu
    39 from IDEFrame import \
    40 from IDEFrame import \
    40     TITLE, \
    41     TITLE, \
    41     EDITORTOOLBAR, \
    42     EDITORTOOLBAR, \
    42     FILEMENU, \
    43     FILEMENU, \