- add Highlighter to SpecEditor
authorronan <ronan@fridu.net>
Thu, 13 Dec 2012 14:25:07 +0000 (15:25 +0100)
committerronan <ronan@fridu.net>
Thu, 13 Dec 2012 14:25:07 +0000 (15:25 +0100)
commit8bd94118df54db900db4bf749706a22004e35358
tree65ac72527eab0ab61f56a626a91683b3755a5d67
parent80898868bcbf3e4b6685f988e5d29ef60bccc2d4
- add Highlighter to  SpecEditor
obslight/ObsLight/ObsLightPackage.py
obslight/ObsLight/ObsLightSpec.py
obslight/ObsLightGui/FileManager.py
obslight/ObsLightGui/HighlighterSpecFile.py
obslight/ObsLightGui/SpecEditorManager.py [new file with mode: 0644]
obslight/ObsLightGui/ui/obsLightMain.ui