src/eric7/Preferences/__init__.py

branch
eric7
changeset 9931
e6e01a10c3a1
parent 9924
b41c9a7bcbbb
child 9938
b8005dd4fc9b
equal deleted inserted replaced
9930:4d82d809e816 9931:e6e01a10c3a1
571 "MouseHoverTimeout": 500, # 500 milliseconds 571 "MouseHoverTimeout": 500, # 500 milliseconds
572 "AutoReopen": False, 572 "AutoReopen": False,
573 "AnnotationsEnabled": True, 573 "AnnotationsEnabled": True,
574 "MiniContextMenu": False, 574 "MiniContextMenu": False,
575 "HideFormatButtons": True, 575 "HideFormatButtons": True,
576 "QuickSearchEnabled": False,
576 "SearchMarkersEnabled": True, 577 "SearchMarkersEnabled": True,
577 "QuickSearchMarkersEnabled": True, 578 "QuickSearchMarkersEnabled": True,
578 "MarkOccurrencesEnabled": True, 579 "MarkOccurrencesEnabled": True,
579 "MarkOccurrencesTimeout": 500, # 500 milliseconds 580 "MarkOccurrencesTimeout": 500, # 500 milliseconds
580 "SearchRegexpMode": 0, # 0: POSIX mode, 1: CXX11 mode 581 "SearchRegexpMode": 0, # 0: POSIX mode, 1: CXX11 mode

eric ide

mercurial