⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 looknfeel.tcl

📁 windows下的GDB insight前端
💻 TCL
字号:
# looknfeel.tcl - Standard look and feel decisions.# Copyright (C) 1997 Cygnus Solutions.# Written by Tom Tromey <tromey@cygnus.com>.# Run this once just after Tk is initialized.  It will do whatever# setup is required to make the application conform to our look and# feel.proc standard_look_and_feel {} {  global tcl_platform  # FIXME: this is really gross: we know how tk_dialog chooses its  # -wraplength, and we make it bigger.  Instead we should make our  # own dialog function.  option add *Dialog.msg.wrapLength 0 startupFile  # We don't ever want tearoffs.  option add *Menu.tearOff 0 startupFile  # The default font should be used by default.  # The bold font is like the default font, but is bold; use it for  # emphasis.  # The fixed font is guaranteed not to be proportional.  # The status font should be used in status bars and tooltips.  if {$tcl_platform(platform) == "windows"} then {    define_font global/default -family windows-message    # FIXME: this isn't actually a bold font...    define_font global/bold -family windows-caption    define_font global/fixed -family fixedsys    define_font global/status -family windows-status    # FIXME: we'd like this font to update automatically as well.  But    # for now we can't.    array set actual [font actual windows-message]    set actual(-slant) italic    eval define_font global/italic [array get actual]    # The menu font used to be set via the "windows-menu"    # font family, however this seems to have been deprecated    # for Tcl/Tk version 8.3, so we hard code it instead.    define_font global/menu -family {MS Sans Serif} -size 8  } else {    set size 12    define_font global/default -family courier -size $size     define_font global/bold -family courier -size $size -weight bold    define_font global/fixed -family courier -size $size    define_font global/status -family helvetica -size [expr $size - 1]    define_font global/italic -family courier -size $size -slant italic    define_font global/menu -family helvetica -size $size  }  # Make sure this font is actually used by default.  option add *Font global/default  option add *Menu.Font global/menu}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -