📄 hmmed
字号:
#!/usr/bin/env python################################################################################## This file is part of Gato (Graph Algorithm Toolbox) ## file: HMMEd.py# author: Janne Grunau## Copyright (C) 1998-2002, Alexander Schliep# # Contact: schliep@molgen.mpg.de## Information: http://ghmm.org## This library is free software; you can redistribute it and/or# modify it under the terms of the GNU Library General Public# License as published by the Free Software Foundation; either# version 2 of the License, or (at your option) any later version.## This library is distributed in the hope that it will be useful,# but WITHOUT ANY WARRANTY; without even the implied warranty of# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU# Library General Public License for more details.## You should have received a copy of the GNU Library General Public# License along with this library; if not, write to the Free# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA#### This file is version $Revision: 1.29 $ # from $Date: 2005/02/22 11:12:56 $# last change by $Author: schliep $.#################################################################################import HMMEditorimport Tkinterif __name__ == '__main__': # Overide default colors for widgets ... maybe shouldnt be doing that for Windows? tk = Tkinter.Tk() tk.option_add('*ActiveBackground','#EEEEEE') tk.option_add('*background','#DDDDDD') tk.option_add('Tk*Scrollbar.troughColor','#CACACA') HMMEditor = HMMEditor.HMMGraphEditor(tk) HMMEditor.NewGraph() import logging log = logging.getLogger("HMMEd") HMMEditor.mainloop()
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -