|
|
@ -297,8 +297,9 @@ if __name__ == '__main__':
|
|
|
|
(screenheight - root_attr['height']) / 2)
|
|
|
|
(screenheight - root_attr['height']) / 2)
|
|
|
|
root.geometry(alignstr)
|
|
|
|
root.geometry(alignstr)
|
|
|
|
root.resizable(width=False, height=False)
|
|
|
|
root.resizable(width=False, height=False)
|
|
|
|
output = GraphvizOutput()
|
|
|
|
output = GraphvizOutput(font_size=30)
|
|
|
|
output.output_file = "basic.png"
|
|
|
|
output.output_file = "basic.png"
|
|
|
|
|
|
|
|
output.group_font_size = 40
|
|
|
|
config = Config()
|
|
|
|
config = Config()
|
|
|
|
config.trace_filter = GlobbingFilter(include=[
|
|
|
|
config.trace_filter = GlobbingFilter(include=[
|
|
|
|
'StuSys_X4.*',
|
|
|
|
'StuSys_X4.*',
|
|
|
|