Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-12-16 15:10:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

warn about missing features

Browse Source
This commit is contained in:
Tom Tromey
2015-05-06 13:59:24 -06:00
parent f11f884f8d
commit 7956c96cae
3 changed files with 39 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
gui/adapt.py
View File

@@ -19,16 +19,28 @@ import gdb
import gui.params
bugs = {
"15620": """Your gdb doesn't have a "new breakpoint" event.
15620: """Your gdb doesn't have a "new breakpoint" event.
This means that the source windows will not show you where
breakpoints have been set.""",
"13598": """Your gdb doesn't have a "before prompt" event.
13598: """Your gdb doesn't have a "before prompt" event.
This means that various windows won't be able to react to
commands like "up" or "down"."""
}
_warning = "See https://sourceware.org/bugzilla/show_bug.cgi?id=%s for more information."
_first_report = True
def notify_bug(bugno):
if not gui.params.warn_missing.value:
return
if not (bugno in bugs):
return
print "################"
print bugs[bugno]
print _warning % bugno
print ""
print "You can use 'set gui mention-missing off' to disable this message."
print "################"
del bugs[bugno]