| CARVIEW |
Select Language
HTTP/2 200
date: Thu, 17 Jul 2025 01:15:07 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
x-robots-tag: none
etag: W/"f76836fe23334b3605d7893c687e5210"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=BOV8tfv2wqAEwnAniSZV%2F1cWvKLCTqVjey%2BaFQzFf6uh741LQ0EhCAvPD%2FLgcxGUcK70xZqZYX%2BPxs719f5BfxRzr7Me8Pf6gF60xLKMA11ZwIm2mk1D0F7%2F%2B4mE3YNV9bh0w2IaV4Uzyaf7prw7uE7MOlPGjR2KaKsBW%2FGR2dUCus%2FMQaV9uNkxZ4qma%2BA2J413W%2FR1e9BeojbwDMPeFbd02AJUK2sjY9SLACw%2FEvJFJ8%2Bmvt%2Fi55GJIZYwz46oCsKHL%2FA2399q5Qh3vcMzbg%3D%3D--hotTITyG9ORrNwWK--7YltU3MYJEuDoMONBMpYDg%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.249042932.1752714907; Path=/; Domain=github.com; Expires=Fri, 17 Jul 2026 01:15:07 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Fri, 17 Jul 2026 01:15:07 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: BDD8:1872E8:5087D:7EB90:68784E9B
AreaVi Tags · vyapp/vy Wiki · GitHub
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 55
AreaVi Tags
Iury O. G. Figueiredo edited this page Aug 26, 2016
·
1 revision
A tag has a name and two index's, a tag is mapped to a range of text. It is possible to set some options for these ranges of text, such options are background, color, font, font size and even to map handles to events that happen when the mouse is over them. It is even possible to add a handle to an event that maps a key press when the cursor is in the tag range.
The 'sel' tag is a built-in tag that corresponds to text selection, it can be added to ranges of text when needed, the text's background will be modified. Try the following piece of code below:
area = AreaVi('None')
area.pack(expand=True, fill=BOTH)
area.insert('1.0', 'alpha')
# It will add the tag 'sel' from the beginning of the text to the end.
area.tag_add('sel', '1.0', 'end')
# Look at the text in the AreaVi instance now, it will be selected.
# Inserting the following statement will unslect the text/remove the tag 'sel' from the beginning to the end.
area.tag_remove('sel', '1.0', 'end')Consider you have added a lot of tags to a lot of ranges of text, you want to know which ranges are binded to a given tag. This method will give you the answer. See the example below that adds the 'sel' tag to three ranges then retrieves back the index's.
Example:
area.insert('1.0', 'a' * 100)
area.tag_add('sel', '1.0', '1.4')
area.tag_add('sel', '1.11', '1.20')
area.tag_add('sel', '1.30', '1.50')
for ind in area.tag_ranges('sel'):
print ind
# It will print.
# 1.0
# 1.4
# 1.11
# 1.20
# 1.30
# 1.50
The items that area.tag_ranges generate are textindex objects that implement a __str__ method.It is possible to specify options for tags as mentioned before, it is needed to use the AreaVi.tag_config method. The example below examplifies:
area.insert('1.0', 'a' * 50)
# It adds the tag 'alpha' to the range '1.0', '1.10'.
area.tag_add('alpha', '1.0', '1.10')
# It sets the background/color/font for the specified range.
area.tag_config('alpha', background='blue', foreground='green', font=('Monospace', 8, 'bold'))
You can’t perform that action at this time.