Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #52197

Re: Is win32forth dead ?

Newsgroups comp.lang.forth
Date 2016-10-25 09:02 -0700
References <MPG.3277f5904f2c644d98969c@news.virginmedia.com> <d78d3411-50ec-43b2-ac35-c4ba0397db92@googlegroups.com> <nunses$ld3$1@dont-email.me>
Message-ID <60c17b6d-dee8-40f9-aa41-e9ced280ee5e@googlegroups.com> (permalink)
Subject Re: Is win32forth dead ?
From josv@planet.nl

Show all headers | View raw


Hi Rick, 

In Win32FortIDE: 
Choose: Options| IDE Preferences | Button: Text Font:

In the Win32Forth console enter:
 font NewFont
 s" Courier" SetFaceName: NewFont
 20 height: NewFont
 NewFont SetFont: cmd
Could modified and added to your Win32forUser.cfg
so it would be default

About help: 
Does it work when you start
~\win32forth\setup.exe
and run the options: T U R

Jos

On October 25, 2016 17:07:32 UTC+2 rickman wrote:
> On 10/25/2016 6:14 AM, jos..nl wrote:
> > Hi,
> >
> > No problems here for version Win32Forth 6.15.04 under Windows 10.
> > The Html pages are intended to be used within the help system.
> > Just start win32forthIDE or Win32for use F1 to get there.
> >
> > Jos
> 
> As I've gotten older and the type on the computer screen has gotten 
> smaller.  Really!  It did, the resolution went up and the type seems to 
> be defined (along with everything else) in terms of the pixels, so it is 
> all very small on my laptop HD resolution screen, even at 17 inches.
> 
> So one of my problems using Win32Forth is the small font size.  Is there 
> any way to make that larger without mucking with the controls in 
> Windows?  I've already changed the overall size setting in Windows and 
> it seems some programs aren't affected by this.
> 
> Also, in trying to use the in line help I typed 'help ."' into the main 
> console while the help window was open and it popped up an error "Read 
> error in HelpWrd.hdb at 471964".  Any ideas?
> 
> -- 
> 
> Rick C

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Is win32forth dead ? jim <anon@example.com> - 2016-10-24 11:40 +0100
  Re: Is win32forth dead ? anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2016-10-24 11:37 +0000
    Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-24 14:08 +0100
  Re: Is win32forth dead ? albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2016-10-24 16:18 +0200
    Re: Is win32forth dead ? Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2016-10-24 20:37 +0100
      Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-24 22:40 +0100
    Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-24 22:34 +0100
  Re: Is win32forth dead ? lawrencedo99@gmail.com - 2016-10-24 20:37 -0700
    Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-25 11:28 +0100
      Re: Is win32forth dead ? rickman <gnuarm@gmail.com> - 2016-10-25 10:58 -0400
        Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-25 20:40 +0100
          Re: Is win32forth dead ? Cecil Bayona <cbayona@cbayona.com> - 2016-10-25 14:47 -0500
          Re: Is win32forth dead ? rickman <gnuarm@gmail.com> - 2016-10-26 12:44 -0400
            Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-26 22:11 +0100
  Re: Is win32forth dead ? josv@planet.nl - 2016-10-25 03:14 -0700
    Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-25 15:21 +0100
    Re: Is win32forth dead ? rickman <gnuarm@gmail.com> - 2016-10-25 11:07 -0400
      Re: Is win32forth dead ? josv@planet.nl - 2016-10-25 09:02 -0700
        Re: Is win32forth dead ? rickman <gnuarm@gmail.com> - 2016-10-26 22:40 -0400
          Re: Is win32forth dead ? josv@planet.nl - 2016-10-27 05:51 -0700
    Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-26 14:35 +0100
      Re: Is win32forth dead ? josv@planet.nl - 2016-10-26 11:26 -0700
        Re: Is win32forth dead ? jim <anon@example.com> - 2016-10-26 22:08 +0100

csiph-web