| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/lib/python3/dist-packages/IPython/utils/__pycache__/ |
Upload File : |
�
�@�c
� � � d Z ddlZddlZddlZddlmZ daej dk rd� Z nej
dk rd� Z nd � Z d
� Zd� Zd� Z
d
� Zd� Zej dk r5ej � dd� � Ze� d� � reZeZ
n@ej
dk r5 ddlZej j j Zej ge_ d� Zn# e$ r d� ZY nw xY wd� Zd� Zd� Zdd�ZdS )z�
Utilities for working with terminals.
Authors:
* Brian E. Granger
* Fernando Perez
* Alexander Belchenko (e-mail: bialix AT ukr.net)
� N)�get_terminal_sizeT�posixc �. � t j d� � d S )N�clear��os�system� � �8/usr/lib/python3/dist-packages/IPython/utils/terminal.py�_term_clearr
s � �
� �'�����r �win32c �. � t j d� � d S )N�clsr r
r r r
r
s � �
� �%�����r c � � d S �Nr
r
r r r
r
s � ��r c � � | a dS )a� Control whether set_term_title is active or not.
set_term_title() allows writing to the console titlebar. In embedded
widgets this can cause problems, so this call can be used to toggle it on
or off as needed.
The default state of the module is for the function to be disabled.
Parameters
----------
val : bool
If True, set_term_title() actually writes to the terminal (using the
appropriate platform-specific module). If False, it is a no-op.
N)�ignore_termtitle)�vals r �toggle_set_term_titler % s � � �x���r c � � dS )zDummy no-op.Nr
)�args�kws r �_set_term_titler 8 s � ��Dr c � � d S r r
r
r r �_restore_term_titler = s � ��Dr c � � t j � d� � t j � d| z � � dS )z3 Change virtual terminal title in xterm-workalikes z[22;0tz]0;%sN��sys�stdout�write��titles r �_set_term_title_xtermr$ A s; � � �J���\�"�"�"��J���_�u�,�-�-�-�-�-r c �D � t j � d� � d S )Nz[23;0tr r
r r �_restore_term_title_xtermr&