binding "text" {
  bind "<ctrl>k" { "set-anchor" ()
		   "move-cursor" (display-lines,1,0)
		   "cut-clipboard" ()	
		}
  bind "<ctrl>w" { "cut-clipboard" () }
  bind "<ctrl>x" { }

  bind "F13" {"insert-at-cursor" ("∀")}
  bind "F14" {"insert-at-cursor" ("∃")}
}
class "GtkTextView" binding "text"


style "views" {
font_name = "Monospace 10"
}
class "GtkTextView" style "views"

widget "*.*.*.*.*.ScriptWindow" style "views"
widget "*.*.*.*.GoalWindow" style "views"
widget "*.*.*.*.MessageWindow" style "views"

style "menu" {
font_name = "Serif 10"
}


class "GtkLabel" style "menu"

gtk-key-theme-name = "Emacs"