Home
last modified time | relevance | path

Searched refs:width_box (Results 1 – 4 of 4) sorted by relevance

/dports/games/tecnoballz/tecnoballz-0.93.1/src/
H A Dtiles_background.cc455 Uint32 width_box = offscreen->get_width () - 64 * resolution; in draw() local
469 Uint32 last_width = (width_box - first_width) % tiles_width; in draw()
481 Uint32 hcount = (width_box - first_width) / tiles_width + 1; in draw()
/dports/net-mgmt/pandorafms_console/pandorafms_console-6.0SP2/include/ajax/
H A Dvisual_console_builder.ajax.php120 $width_box = (int)get_parameter('width_box', 0); variable
489 $values['width'] = $width_box;
785 $values['width'] = $width_box;
/dports/comms/xastir/Xastir-Release-2.1.8/src/
H A Dobjects.c10355 width_box = XmCreateRadioBox(formbeam,
10360 XtVaSetValues(width_box,
10376 width_box,
10386 width_box,
10396 width_box,
10406 width_box,
10416 width_box,
10426 width_box,
10436 width_box,
10446 width_box,
[all …]
/dports/devel/py-distributed/distributed-2021.11.2/distributed/dashboard/components/
H A Dscheduler.py2427 width_box = self.compute_size(
2441 width_box = 0.6
2442 height_box = width_box / 2
2444 box_dim[key] = {"width": width_box, "height": height_box}