12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879 |
- /*
- * Copyright (c) 2006-2013 DMDirc Developers
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
- * SOFTWARE.
- */
-
- package com.dmdirc.addons.logging;
-
- import com.dmdirc.util.io.ReverseFileReader;
- import com.dmdirc.FrameContainer;
- import com.dmdirc.Server;
- import com.dmdirc.ui.WindowManager;
- import com.dmdirc.ui.core.components.WindowComponent;
-
- import java.util.Arrays;
-
- /**
- * Displays an extended history of a window.
- */
- public class HistoryWindow extends FrameContainer {
-
- /**
- * Creates a new HistoryWindow.
- *
- * @param title The title of the window
- * @param reader The reader to use to get the history
- * @param parent The window this history window was opened from
- * @param numLines The number of lines to show
- */
- public HistoryWindow(final String title, final ReverseFileReader reader,
- final FrameContainer parent, final int numLines) {
- super("raw", title, title, parent.getConfigManager(),
- Arrays.asList(WindowComponent.TEXTAREA.getIdentifier()));
-
- WindowManager.getWindowManager().addWindow(parent, this);
-
- final int frameBufferSize = parent.getConfigManager().getOptionInt(
- "ui", "frameBufferSize");
- addLine(reader.getLinesAsString(Math.min(frameBufferSize, numLines)), false);
- }
-
- /** {@inheritDoc} */
- @Override
- public void windowClosing() {
- // 2: Remove any callbacks or listeners
- // 3: Trigger any actions neccessary
- // 4: Trigger action for the window closing
- // 5: Inform any parents that the window is closing
- }
-
- /** {@inheritDoc} */
- @Override
- public void windowClosed() {
- // 7: Remove any references to the window and parents
- }
-
- /** {@inheritDoc} */
- @Override
- public Server getServer() {
- return getParent() == null ? null : getParent().getServer();
- }
-
- }
|