Tagged Questions

3
votes
1answer
287 views

How can I improve Eclipse's user Interface to get rid of the excessive padding and spacing?

Eclipse Juno (historical versions too) has too much padding applied to the tabs and borders. This makes it hard to work with multiple project folders, especially ones containing multiple packages and ...
7
votes
2answers
436 views

How to create a sliding widget (GTK+, Quickly)

Recently I've seen this widget in Gedit: It appears when you press Ctrl + F. What I am interested is in how to get the sliding effect. Any suggestion will be appreciated.
0
votes
1answer
74 views

What widget can I use to edit text and highlight parts of it?

Using the quickly ubuntu-application template (i.e. python and GTK3), what solutions exist to display a text editor in which I can highlight some parts of the text and add annotations/extra visuals at ...
1
vote
1answer
257 views

Weird Ubuntu 11.10 GUI problem

It sounds different from the normal unity theme, how to correct it? Why are the images changed? It happens even though I have booted few times. Thanks.