diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2016-04-24 12:57:58 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2016-04-24 12:58:31 +0200 |
commit | 89c5e1f681107b6d9f8ba7f761c388d1e2052fe4 (patch) | |
tree | c5ce4530d0c03fa1c04021844272b82b7b7ebcbc /src/osd/windows/winmain.h | |
parent | ef0968b87042040e1f0e18c84ce804f744f8e23e (diff) |
Various cleanups suggested by static analyzer (nw)
Diffstat (limited to 'src/osd/windows/winmain.h')
-rw-r--r-- | src/osd/windows/winmain.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/osd/windows/winmain.h b/src/osd/windows/winmain.h index 8f0bd77f4a7..72e2112a04b 100644 --- a/src/osd/windows/winmain.h +++ b/src/osd/windows/winmain.h @@ -291,7 +291,7 @@ public: bool should_hide_mouse() const; void poll_input(running_machine &machine) const; - windows_options &options() { return m_options; } + virtual windows_options &options() override { return m_options; } int window_count(); @@ -307,7 +307,6 @@ private: windows_options & m_options; static const int DEFAULT_FONT_HEIGHT = 200; - static long __stdcall exception_filter(struct _EXCEPTION_POINTERS *info); }; #if !WINAPI_FAMILY_PARTITION(WINAPI_PARTITION_DESKTOP) |