diff options
| author | Dan Gudmundsson <[email protected]> | 2012-03-16 09:40:51 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2012-03-16 09:40:51 +0100 |
| commit | 8d5372dcb2aaed98063d9a9c74a052612ecfa3ca (patch) | |
| tree | 10c59545213da4ce4fb96bbb092ee57a1123cb20 /lib/wx/include | |
| parent | 37fb668457fd4d98540c8fc08ab3041d9f3f08cf (diff) | |
| download | otp-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/include')
| -rw-r--r-- | lib/wx/include/wx.hrl | 9 |
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 |