Warning: file_put_contents(): Only -1 of 66 bytes written, possibly out of free disk space in /var/www/html/index.php on line 3

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/index.php:3) in /var/www/html/cache.php on line 23

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/index.php:3) in /var/www/html/cache.php on line 24

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/index.php:3) in /var/www/html/cache.php on line 25
Prev   GtkWidget::set_size_request Next void set_size_request(int width , int height ); Requests that the widget's size be changed to pixels wide by high. See also: get_size_request() Home GtkWidg...
Forum und email
Prev GtkWidget::set_size_request Next

GtkWidget::set_size_request

void set_size_request(int width, int height);

Requests that the widget's size be changed to width pixels wide by height pixels high.

See also: get_size_request()

Prev Home Next
GtkWidget::set_sensitive Up GtkWidget::set_state