On Tue, Jul 03, 2001 at 04:14:46PM +0200, Juergen Vigna wrote:
>
> On 03-Jul-2001 Jean-Marc Lasgouttes wrote:
>
> > On a related subject, do we want to dump custom export (aka SendTo),
> > since it can be obtained by creating a new export target?
>
> It cannot be obtained that way until it is r
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
| > "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
|
| Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
| Lars> > "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes: | |
| Lars> Lars> mmm but all of this should som
> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
Lars> > "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes: | |
Lars> Lars> mmm but all of this should somehow be moved to the
Lars> frontends | Lars> directory. | |
On 03-Jul-2001 Jean-Marc Lasgouttes wrote:
> Probably you're right, if you actually need these kind of temporary
> custom exports (do you actually?). The problem is that this feature
Yes I use it actually!
> would need a big redesign to be completely useful (for ex., do not
> hardcode list of
> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> On 03-Jul-2001 Jean-Marc Lasgouttes wrote:
>> On a related subject, do we want to dump custom export (aka
>> SendTo), since it can be obtained by creating a new export target?
Juergen> It cannot be obtained that way until it i
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
| > "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
|
| Lars> mmm but all of this should somehow be moved to the frontends
| Lars> directory.
|
| Lars> and if the other ports have better / more native ways of doing
| Lars> things th
On 03-Jul-2001 Jean-Marc Lasgouttes wrote:
> On a related subject, do we want to dump custom export (aka SendTo),
> since it can be obtained by creating a new export target?
It cannot be obtained that way until it is redesigned, but didn't we
discuss all of this already? Just tell me how to do
> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> mmm but all of this should somehow be moved to the frontends
Lars> directory.
Lars> and if the other ports have better / more native ways of doing
Lars> things that should be prefered.
As you like... I thought that all ports
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
| > "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
|
| Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
| Lars> One of the (bad) reasons for including forms.h is the need to
| Lars> access | fl_display() and fl_screen(). Wha
> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
Lars> One of the (bad) reasons for including forms.h is the need to
Lars> access | fl_display() and fl_screen(). What is the best place to
Lars> get those | things? Would addin
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
| One of the (bad) reasons for including forms.h is the need to access
| fl_display() and fl_screen(). What is the best place to get those
| things? Would adding LyXGUI::x11Display() and LyXGUI::x11Screen() be a
| good idea?
No, the real fix is to
One of the (bad) reasons for including forms.h is the need to access
fl_display() and fl_screen(). What is the best place to get those
things? Would adding LyXGUI::x11Display() and LyXGUI::x11Screen() be a
good idea?
On a related subject, do we want to dump custom export (aka SendTo),
since it c
12 matches
Mail list logo
