DelimiterUi.ui
|
Make Delimiter dialog stretchable.
|
2008-06-15 10:06:54 +00:00 |
FloatUi.ui
|
compilation fix from abdel
|
2008-09-22 11:00:17 +00:00 |
GraphicsUi.ui
|
correct size
|
2008-09-03 18:47:12 +00:00 |
InfoUi.ui
|
oups...
|
2008-06-06 09:49:09 +00:00 |
ListingsUi.ui
|
* ListingsUi.ui: polish.
|
2008-10-03 16:22:55 +00:00 |
ModulesUi.ui
|
ModulesUI.ui:
|
2008-10-19 11:10:35 +00:00 |
PDFSupportUi.ui
|
Sanitize backreferences in hyperref.
|
2008-10-13 16:01:02 +00:00 |
PrefUi.ui
|
Pref ui module: add a 'clear session'.
|
2008-09-22 07:14:30 +00:00 |
SendtoUi.ui
|
Some GuiSendto polishing by Vincent and me.
|
2008-09-04 09:36:44 +00:00 |
ShortcutUi.ui
|
More work on the Shortcuts UI:
|
2008-07-22 08:29:50 +00:00 |
TabularUi.ui
|
* TabularUi.ui
|
2008-09-14 15:30:37 +00:00 |