Searched refs:newWindowHeight (Results 1 – 7 of 7) sorted by relevance
| /dports/science/jmol/jmol-14.32.7/src/org/jmol/util/ |
| H A D | GData.java | 35 protected int newWindowWidth, newWindowHeight; field in GData
462 newWindowHeight = height; in setWinParams()
468 windowHeight = newWindowHeight; in setNewWindowParametersForExport()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/src/tests/test_utils/ |
| H A D | ANGLETest.cpp | 555 int newWindowHeight = mHeight; in ANGLETestSetUp() local
558 std::swap(newWindowWidth, newWindowHeight); in ANGLETestSetUp()
561 if (!mFixture->osWindow->resize(newWindowWidth, newWindowHeight)) in ANGLETestSetUp()
|
| /dports/games/warzone2100/warzone2100/lib/sdl/ |
| H A D | main_sdl.cpp | 2750 int newWindowWidth = 0, newWindowHeight = 0; in handleActiveEvent() local
2751 SDL_GetWindowSize(WZwindow, &newWindowWidth, &newWindowHeight); in handleActiveEvent()
2753 if ((event->window.data1 != newWindowWidth) || (event->window.data2 != newWindowHeight)) in handleActiveEvent()
2757 …tWindowSize (%d x %d)", event->window.data1, event->window.data2, newWindowWidth, newWindowHeight); in handleActiveEvent()
2760 handleWindowSizeChange(oldWindowWidth, oldWindowHeight, newWindowWidth, newWindowHeight); in handleActiveEvent()
2764 war_SetHeight(newWindowHeight); in handleActiveEvent()
|
| /dports/editors/nedit/nedit-5.7/source/ |
| H A D | highlight.c | 2415 Dimension windowHeight, textAreaHeight, textHeight, newWindowHeight; in updateWindowHeight() local
2435 newWindowHeight = (textHeight*getFontHeight(window)) / oldFontHeight + in updateWindowHeight()
2445 XtVaSetValues(window->shell, XmNheight, newWindowHeight, NULL); in updateWindowHeight()
|
| H A D | window.c | 1787 Dimension textHeight, newWindowWidth, newWindowHeight; in SetFonts() local
1867 newWindowHeight = (oldTextHeight*fontHeight) / oldFontHeight + in SetFonts()
1870 newWindowHeight, NULL); in SetFonts()
|
| /dports/audio/mp3blaster/mp3blaster-3.2.6/src/ |
| H A D | main.cc | 818 int newWindowHeight; in handle_resize() local
827 newWindowHeight = calc_mainwindow_height(LINES); in handle_resize()
831 getMainWindow()->resize(newWindowWidth, newWindowHeight); in handle_resize()
834 mp3_rootwin->resize(newWindowWidth, newWindowHeight, 1); in handle_resize()
|
| /dports/science/jmol/jmol-14.32.7/src/org/jmol/g3d/ |
| H A D | Graphics3D.java | 350 if (windowWidth != newWindowWidth || windowHeight != newWindowHeight in beginRendering()
353 windowHeight = newWindowHeight; in beginRendering()
|