aboutsummaryrefslogtreecommitdiffstats
path: root/lib/wx
diff options
context:
space:
mode:
authorDan Gudmundsson <[email protected]>2012-03-16 09:40:51 +0100
committerDan Gudmundsson <[email protected]>2012-03-16 09:40:51 +0100
commit8d5372dcb2aaed98063d9a9c74a052612ecfa3ca (patch)
tree10c59545213da4ce4fb96bbb092ee57a1123cb20 /lib/wx
parent37fb668457fd4d98540c8fc08ab3041d9f3f08cf (diff)
downloadotp-8d5372dcb2aaed98063d9a9c74a052612ecfa3ca.tar.gz
otp-8d5372dcb2aaed98063d9a9c74a052612ecfa3ca.tar.bz2
otp-8d5372dcb2aaed98063d9a9c74a052612ecfa3ca.zip
[wx] Add more types
The hardcoded records wxMouseState and wxHtmlLinkInfo did have types as comments. (changes in code gen is in prev commit)
Diffstat (limited to 'lib/wx')
-rw-r--r--lib/wx/include/wx.hrl9
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/wx/include/wx.hrl b/lib/wx/include/wx.hrl
index bcca695d2d..62979908a6 100644
--- a/lib/wx/include/wx.hrl
+++ b/lib/wx/include/wx.hrl
@@ -316,12 +316,13 @@
-type wxEventType() :: wxAuiManagerEventType() | wxAuiNotebookEventType() | wxCalendarEventType() | wxChildFocusEventType() | wxCloseEventType() | wxColourPickerEventType() | wxCommandEventType() | wxContextMenuEventType() | wxDateEventType() | wxDisplayChangedEventType() | wxEraseEventType() | wxFileDirPickerEventType() | wxFocusEventType() | wxFontPickerEventType() | wxGridEventType() | wxHelpEventType() | wxHtmlLinkEventType() | wxIconizeEventType() | wxIdleEventType() | wxJoystickEventType() | wxKeyEventType() | wxListEventType() | wxMaximizeEventType() | wxMenuEventType() | wxMouseCaptureChangedEventType() | wxMouseEventType() | wxMoveEventType() | wxNavigationKeyEventType() | wxNcPaintEventType() | wxNotebookEventType() | wxPaintEventType() | wxPaletteChangedEventType() | wxQueryNewPaletteEventType() | wxSashEventType() | wxScrollEventType() | wxScrollWinEventType() | wxSetCursorEventType() | wxShowEventType() | wxSizeEventType() | wxSpinEventType() | wxSplitterEventType() | wxStyledTextEventType() | wxSysColourChangedEventType() | wxTaskBarIconEventType() | wxTreeEventType() | wxUpdateUIEventType() | wxWindowCreateEventType() | wxWindowDestroyEventType().
%% Hardcoded Records
--record(wxMouseState, {x, y, %% integer()
- leftDown, middleDown, rightDown, %% bool()
- controlDown, shiftDown, altDown, metaDown, cmdDown %% bool()
+-record(wxMouseState, {x :: integer(), y :: integer(),
+ leftDown :: boolean(), middleDown :: boolean, rightDown :: boolean,
+ controlDown :: boolean(), shiftDown :: boolean(),
+ altDown :: boolean(), metaDown :: boolean(), cmdDown :: boolean()
}).
-record(wxHtmlLinkInfo, {
- href, target %% unicode:chardata()
+ href :: unicode:chardata(), target :: unicode:chardata()
}).
%% Hardcoded Defines