Lines Matching refs:top_padding
495 GtkWidget* top_padding = gtk_fixed_new();
496 gtk_widget_set_size_request(top_padding, -1, kButtonOuterPadding);
497 gtk_box_pack_start(GTK_BOX(vbox), top_padding, FALSE, FALSE, 0);
504 top_padding_left_ = top_padding;
507 top_padding_right_ = top_padding;
670 int top_padding = 0;
676 top_padding = kTitlebarHeight;
692 top_padding, 0,
