Marco Pesenti Gritti
|
5a7a2fedc3
|
A bunch of cleanups. Add some useful properties to the browser.
|
2006-10-13 01:04:01 +02:00 |
|
Marco Pesenti Gritti
|
5101efb75b
|
Avoid flickering of the progress bar.
|
2006-10-12 16:35:42 +02:00 |
|
Marco Pesenti Gritti
|
3a3fe02b61
|
Round the progress bar angles.
Keep location entry updated.
|
2006-10-12 16:05:53 +02:00 |
|
Marco Pesenti Gritti
|
fce6d1482c
|
Redraw when progress changes
|
2006-10-12 15:53:26 +02:00 |
|
Marco Pesenti Gritti
|
3cfa9c40bd
|
First go at progress in the entry.
|
2006-10-12 15:49:11 +02:00 |
|
Marco Pesenti Gritti
|
62a46ff92b
|
Create a private sugar lib and put our extensions there.
|
2006-10-12 12:47:17 +02:00 |
|