ide-page-size

Arguments: ide-configuration

An IDE configuration option that specifies whether the main workspace area of the IDE is scrollable, and by how much if so. A scrollable workspace allows arranging the various IDE tool windows into an area that's larger than the screen, and then scrolling different subsets of the tools into view. The current ide-configuration is the value of (configuration *ide-system*) (see configuration and *ide-system*).

The workspace scrollbars will exist only if the use-ide-parent-window option is true, because otherwise there is no single main IDE window to contain the scrollbars.

The value should be a list of two non-negative integers, where the first integer is the page-width of the IDE workspace window, and the second integer is the page-height. Each scrollbar will appear only if the corresponding integer in this list is greater than the interior size of the IDE workspace window in that direction.

The initial value is (0 0), and so the workspace scrollbars do not appear by default. The scrollbars could be enabled by evaluating a form similar to this one:

(setf (ide:ide-page-size (configuration ide:*ide-system*))
      '(2000 1200))

When the scrollbars are used, commands at the bottom of the View | Manage Windows submenu, such as Scroll IDE Down can be used to scroll the IDE workspace. Typically you would use the keyboard shortcuts for those commands.

Copyright (c) 1998-2022, Franz Inc. Lafayette, CA., USA. All rights reserved.
This page was not revised from the 10.0 page.
Created 2019.8.20.