Searched refs:nCmdShow (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | winguiconsole.h | 30 HANDLE createConsoleWindow(int nCmdShow);
|
H A D | winstartup.cpp | 309 int nCmdShow, 384 HANDLE hWriteToScreen = createConsoleWindow(nCmdShow); 305 PolyWinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLineUnused, int nCmdShow, exportDescription *exports ) argument
|
H A D | winguiconsole.cpp | 95 static int nInitialShow; // Value of nCmdShow passed in. 609 HANDLE createConsoleWindow(int nCmdShow) argument 679 nInitialShow = nCmdShow;
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | polyimport.c | 33 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument 35 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, 0);
|
H A D | polyexports.h | 105 LPSTR lpCmdLine, int nCmdShow, exportDescription *exports);
|
/seL4-l4v-master/HOL4/polyml/libpolymain/ |
H A D | polystub.c | 34 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument 36 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, &poly_exports);
|
/seL4-l4v-master/HOL4/polyml/interruptpoly/ |
H A D | interruptpoly.c | 78 int nCmdShow // show state of window
|
Completed in 44 milliseconds