diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-03-01 15:39:57 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-03-01 15:39:57 +0000 |
| commit | a07464603d934971b3efe1e725322d219e14836b (patch) | |
| tree | 69cb5d46c0f530696605c598302503755d5c7299 /edit-urpm-sources.pl | |
| parent | 8d1db1c2f4541981f1225185222388a34978236a (diff) | |
| download | rpmdrake-a07464603d934971b3efe1e725322d219e14836b.tar rpmdrake-a07464603d934971b3efe1e725322d219e14836b.tar.gz rpmdrake-a07464603d934971b3efe1e725322d219e14836b.tar.bz2 rpmdrake-a07464603d934971b3efe1e725322d219e14836b.tar.xz rpmdrake-a07464603d934971b3efe1e725322d219e14836b.zip | |
Fix bug 14110: add a vertical scrollbar when there are lots of medias in the
software media manager
Diffstat (limited to 'edit-urpm-sources.pl')
| -rwxr-xr-x | edit-urpm-sources.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/edit-urpm-sources.pl b/edit-urpm-sources.pl index f925fdcb..d16a3c04 100755 --- a/edit-urpm-sources.pl +++ b/edit-urpm-sources.pl @@ -948,7 +948,7 @@ sub mainwindow { Gtk2::VBox->new(0,5), 1, gtkpack_( Gtk2::HBox->new(0, 10), - 1, $list_tv, + 1, create_scrolled_window($list_tv), 0, gtkpack__( Gtk2::VBox->new(0, 5), gtksignal_connect( @@ -991,6 +991,7 @@ sub mainwindow { ) ) ); + $mainw->{rwindow}->set_size_request(600, -1); $mainw->main; } |