putty-defaults: Revert bogus change to Putty terminal height.

[profile] / e16-config

backgrounds.hiquality = 1
backgrounds.user = 1
backgrounds.timeout = 240
compmgr.enable = 0
compmgr.mode = 0
compmgr.shadows.mode = 0
compmgr.shadows.offset_x = 3
compmgr.shadows.offset_y = 5
compmgr.shadows.blur.radius = 5
compmgr.shadows.blur.opacity = 75
compmgr.shadows.sharp.opacity = 30
compmgr.resize_fix_enable = 0
compmgr.use_name_pixmap = 0
compmgr.use_cow = 1
compmgr.fading.enable = 0
compmgr.fading.time = 0
compmgr.override_redirect.mode = 1
compmgr.override_redirect.opacity = 90
desktops.num = 1
desktops.dragdir = 2
desktops.dragbar_width = 0
desktops.dragbar_length = 0
desktops.dragbar_ordering = 1
desktops.desks_wraparound = 0
desktops.slidein = 0
desktops.slidespeed = 0
desktops.areas_nx = 1
desktops.areas_ny = 5
desktops.areas_wraparound = 0
desktops.edge_flip_mode = 0
desktops.edge_flip_resistance = 25
effects.ripples.enabled = 0
effects.waves.enabled = 0
focus.mode = 1
focus.clickraises = 0
focus.transientsfollowleader = 0
focus.switchfortransientmap = 0
focus.all_new_windows_get_focus = 0
focus.new_transients_get_focus = 0
focus.new_transients_get_focus_if_group_focused = 1
focus.raise_on_next = 0
focus.warp_on_next = 0
focus.warp_always = 0
focus.autoraise.enable = 0
focus.autoraise.delay = 500
groups.dflt.iconify = 1
groups.dflt.kill = 0
groups.dflt.mirror = 1
groups.dflt.move = 1
groups.dflt.raise = 0
groups.dflt.set_border = 1
groups.dflt.stick = 1
groups.dflt.shade = 1
groups.swapmove = 1
iconboxes.anim_time = 250
locale.internal = 
locale.exported = 
menus.animate = 0
menus.onscreen = 1
menus.warp = 1
menus.show_icons = 1
menus.icon_size = 16
menus.key.left = 0xff51
menus.key.right = 0xff53
menus.key.up = 0xff52
menus.key.down = 0xff54
menus.key.escape = 0xff1b
menus.key.ret = 0xff0d
misc.animation.step = 10
misc.buttons.move_resistance = 10
misc.dialogs.headers = 1
misc.dialogs.button_image = 0
misc.dock.enable = 1
misc.dock.sticky = 1
misc.dock.dirmode = 3
misc.dock.startx = 0
misc.dock.starty = 0
misc.hints.set_xroot_info_on_root_window = 1
misc.movres.mode_move = 0
misc.movres.mode_resize = 0
misc.movres.mode_info = 1
misc.movres.mode_maximize_default = 1
misc.movres.color = 0xff0000
misc.movres.avoid_server_grab = 1
misc.movres.update_while_moving = 0
misc.movres.enable_sync_request = 0
misc.opacity.menus = 85
misc.opacity.movres = 60
misc.opacity.tooltips = 80
misc.place.manual = 0
misc.place.manual_mouse_pointer = 0
misc.place.slidein = 0
misc.place.cleanupslide = 0
misc.place.slidemode = 0
misc.place.slidespeedmap = 6000
misc.place.slidespeedcleanup = 8000
misc.place.ignore_struts = 0
misc.place.raise_fullscreen = 0
misc.session.enable_script = 0
misc.session.script = $EROOT/scripts/session.sh
misc.session.enable_logout_dialog = 1
misc.session.enable_reboot_halt = 0
misc.session.cmd_reboot = reboot
misc.session.cmd_halt = poweroff
misc.shading.animate = 0
misc.shading.speed = 8000
misc.snap.enable = 1
misc.snap.edge_snap_dist = 8
misc.snap.screen_snap_dist = 32
misc.startup.firsttime = 0
misc.startup.animate = 1
misc.testing.argb_internal_objects = 0
misc.testing.argb_internal_clients = 0
misc.testing.argb_clients = 0
misc.testing.argb_clients_inherit_attr = 0
misc.testing.enable_startup_id = 1
misc.testing.image_cache_size = -1
misc.testing.mask_alpha_threshold = 8
misc.autosave = 1
misc.memory_paranoia = 1
misc.save_under = 0
pagers.enable = 1
pagers.zoom = 0
pagers.title = 1
pagers.hiq = 1
pagers.mode = 2
pagers.scanspeed = 10
pagers.sel_button = 2
pagers.win_button = 1
pagers.menu_button = 3
sound.enable = 0
sound.theme = 
theme.localise = 0
theme.name = BrushedMetal-Tigert
theme.extra_path = 
theme.ttfont_path = 
theme.use_alt_font_cfg = 1
theme.font_cfg = fonts.cfg.xft
tooltips.enable = 0
tooltips.showroottooltip = 0
tooltips.delay = 1500
transparency.alpha = 0
transparency.menu = 1
transparency.menu_item = 1
transparency.tooltip = 2
transparency.widget = 1
transparency.hilight = 0
transparency.border = 1
transparency.iconbox = 1
transparency.dialog = 1
transparency.pager = 1
transparency.warplist = 1
warplist.enable = 1
warplist.showsticky = 1
warplist.showshaded = 1
warplist.showiconified = 1
warplist.showalldesks = 0
warplist.warpfocused = 1
warplist.raise_on_select = 0
warplist.warp_on_select = 0
warplist.icon_mode = 3