Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Marriage is the only adventure open to the cowardly. -- Voltaire


devel / comp.arch.fpga / Re: How to change the font size in text editor of modelsim

SubjectAuthor
o How to change the font size in text editor of modelsimPrince Kumar Gupta

1
Re: How to change the font size in text editor of modelsim

<152c5f8f-6d1d-4f15-b5b7-bf4f83826c34n@googlegroups.com>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=800&group=comp.arch.fpga#800

  copy link   Newsgroups: comp.arch.fpga
X-Received: by 2002:ad4:4432:0:b0:4b1:9054:b54a with SMTP id e18-20020ad44432000000b004b19054b54amr15754555qvt.122.1668506686427;
Tue, 15 Nov 2022 02:04:46 -0800 (PST)
X-Received: by 2002:a05:6871:4103:b0:13d:9ae1:4a90 with SMTP id
la3-20020a056871410300b0013d9ae14a90mr629833oab.262.1668506685947; Tue, 15
Nov 2022 02:04:45 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.arch.fpga
Date: Tue, 15 Nov 2022 02:04:45 -0800 (PST)
In-Reply-To: <k-GdnW5R-_o1mvHQnZ2dnUVZ_sWdnZ2d@giganews.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2402:8100:203a:1ffd:543c:f593:78c8:3253;
posting-account=f9RXHwoAAAD6RDR9ucAv7OwsVT0D3AOz
NNTP-Posting-Host: 2402:8100:203a:1ffd:543c:f593:78c8:3253
References: <1156537789.812491.100700@75g2000cwc.googlegroups.com> <k-GdnW5R-_o1mvHQnZ2dnUVZ_sWdnZ2d@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <152c5f8f-6d1d-4f15-b5b7-bf4f83826c34n@googlegroups.com>
Subject: Re: How to change the font size in text editor of modelsim
From: totamainafly@gmail.com (Prince Kumar Gupta)
Injection-Date: Tue, 15 Nov 2022 10:04:46 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1658
 by: Prince Kumar Gupta - Tue, 15 Nov 2022 10:04 UTC

On Tuesday, March 1, 2011 at 2:08:00 AM UTC+5:30, elen wrote:
> Hi,
> enter the menu "tool", and then press on "edit preference".
> in the right window, titled "window list", choose "source window".
> then in the left part, under the title "fonts",
> you can choose the font and its size.
> !!!important!!! you may need to widen the window,
> to see all the options (like the font size).
THANKS SIR

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor