OLD | NEW |
1 // Copyright (c) 2008, Google Inc. | 1 // Copyright (c) 2008, Google Inc. |
2 // All rights reserved. | 2 // All rights reserved. |
3 // | 3 // |
4 // Redistribution and use in source and binary forms, with or without | 4 // Redistribution and use in source and binary forms, with or without |
5 // modification, are permitted provided that the following conditions are | 5 // modification, are permitted provided that the following conditions are |
6 // met: | 6 // met: |
7 // | 7 // |
8 // * Redistributions of source code must retain the above copyright | 8 // * Redistributions of source code must retain the above copyright |
9 // notice, this list of conditions and the following disclaimer. | 9 // notice, this list of conditions and the following disclaimer. |
10 // * Redistributions in binary form must reproduce the above | 10 // * Redistributions in binary form must reproduce the above |
(...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
115 static bool screenIsMonochrome(Widget*); | 115 static bool screenIsMonochrome(Widget*); |
116 static IntRect screenRect(Widget*); | 116 static IntRect screenRect(Widget*); |
117 static IntRect screenAvailableRect(Widget*); | 117 static IntRect screenAvailableRect(Widget*); |
118 | 118 |
119 // SharedTimers -------------------------------------------------------- | 119 // SharedTimers -------------------------------------------------------- |
120 static void setSharedTimerFiredFunction(void (*func)()); | 120 static void setSharedTimerFiredFunction(void (*func)()); |
121 static void setSharedTimerFireTime(double fire_time); | 121 static void setSharedTimerFireTime(double fire_time); |
122 static void stopSharedTimer(); | 122 static void stopSharedTimer(); |
123 | 123 |
124 // StatsCounters ------------------------------------------------------ | 124 // StatsCounters ------------------------------------------------------ |
125 // TODO(erikkay): WebKit doesn't use wchar_t - change to use UTF8 | 125 static void decrementStatsCounter(const char* name); |
126 static void decrementStatsCounter(const wchar_t* name); | 126 static void incrementStatsCounter(const char* name); |
127 static void incrementStatsCounter(const wchar_t* name); | |
128 static void initV8CounterFunction(); | 127 static void initV8CounterFunction(); |
129 | 128 |
130 // SystemTime ---------------------------------------------------------- | 129 // SystemTime ---------------------------------------------------------- |
131 static double currentTime(); | 130 static double currentTime(); |
132 | 131 |
133 // Trace Event -------------------------------------------------------- | 132 // Trace Event -------------------------------------------------------- |
134 static void traceEventBegin(const char* name, void* id, const char* extr
a); | 133 static void traceEventBegin(const char* name, void* id, const char* extr
a); |
135 static void traceEventEnd(const char* name, void* id, const char* extra)
; | 134 static void traceEventEnd(const char* name, void* id, const char* extra)
; |
136 | 135 |
137 // URL ---------------------------------------------------------------- | 136 // URL ---------------------------------------------------------------- |
138 static KURL inspectorURL(); | 137 static KURL inspectorURL(); |
139 | 138 |
140 // Widget ------------------------------------------------------------- | 139 // Widget ------------------------------------------------------------- |
141 static void widgetSetCursor(Widget*, const Cursor&); | 140 static void widgetSetCursor(Widget*, const Cursor&); |
142 static void widgetSetFocus(Widget*); | 141 static void widgetSetFocus(Widget*); |
143 }; | 142 }; |
144 } | 143 } |
145 | 144 |
146 #endif | 145 #endif |
OLD | NEW |